[00875328]基于逻辑的可证明网络取证分析技术研究

完善匿名性度量理论和匿名度量方法，提出了一种面向网络又面向数据的匿名性度量方法，综合评估匿名通信系统的匿名度；通过将观察等价思想和协议组合逻辑PCL理论相结合，提出一种基于协议组合逻辑(PCL)的匿名性分析方法；分析直接匿名证明方案(DAA)的缺点，通过采用密码学的知识，对DAA方案进行完善，提出基于动态累加器的前向安全动态直接匿名方案（FSD-DAA）。在命名数据网络（NDN）环境下，分析数据包在验证和传输过程中存在的身份隐私泄露问题，并对身份隐私保护进行安全性定义和形式化描述，提出双向匿名的基于身份的多接收者环签密方案，最后对提出的方案进行安全性证明。分析匿名通信机制，设计针对NDN网络的用户隐私问题的网络编码匿名通信协议，优化网络的负载并提高网络传输成功率和匿名度。研究NDN网络数据传输的特征，分析在内容传输过程中的数据隐私问题，解决数据的名字隐私和用户的兴趣隐私问题。在可证明网络取证分析框架的基础上设计了基于渗透测试的SQL注入漏洞扫描系统、基于渗透测试的XSS漏洞检测工具和针对802.11的具备有效无线安全策略的关键组件的网络检测和防御系统，并进行前台分类显示，并应用于相关项目当中。