论文研究基于GSPM的安全协议新鲜性分析.pdf

安全性苛求系统中基于贯序测试的软件安全性评价,郦萌,,很多安全相关的计算机控制系统或防护设备都是安全性苛求系统。需要有一个量化的安全性特征来反映系统中嵌入软件的安全性品质。软

形式化验证基于可认证网络编码的网络传输协议安全性，孙智勇，杨铭熙，网络编码通过网络节点对传输信号的编码处理，可以提升网络信息吞吐量、节约网络资源和减少转发次数。但是在构建网络编码的过程中

基于关联分析方法的基站告警相关性研究，朱学富，解永平，移动通信网络每天产生大量的告警，在海量的告警数据中，蕴含着有价值的知识或规律。使用数据挖掘中关联分析方法，从告警中挖掘出

针对标准相关性能量分析（CPA）在旁路攻击中存在的运算时间长、搜索空间大等问题，在分析了功耗泄露信息与数据相关性的基础上，结合标准相关性分析方法，提出一种基于密钥差异位的改进相关性分析方法。该方法利用

基于组件间通信的Android应用安全分析，黄炎裔，郭燕慧，近年来，Android恶意应用逐渐出现直接或间接利用其它应用达到不法目的的现象，因此对于Android应用的安全研究也逐渐由单个应用转向多�

通过对用户网络流量进行协议投影，获得其行为的具体信息，然后采用关联规则等方法，将上面得到的信息进行统计学习，从而得到该用户所特有的行为模式。利用这种模式，可以进行网络用户的身份识别。实验结果表明，该方

旁路攻击是一种新的密码分析方法，其利用了密码设备在运算时泄漏的信息破解密码系统。从信息泄露的一般性出发，提出了一种旁路信息分级泄露模型并给出其形式化描述。该模型将泄露信息分为算法级、指令级和逻辑门级泄

802.1x安全性的分析以及改进方案,杨燮卿,马跃,本文简单阐述了802.1x协议的体系结构及其在以太网中的用户认证过程,指出了802.1x的不安全因素,即存在中间人攻击,并提出了改进措施

无线射频识别的安全协议研究，黄朝，，随着无线射频识别（RFID）技术研究的深入和不断走向实用，安全隐私问题的出现却逐渐限制了使用的范围，射频识别安全的研究已经成��

3G与WLAN互连是当前研究的一个热点。EAPAKA是其对应的认证与密钥分配协议。详细分析EAP-AKA协议的流程和安全性，并针对其中的安全缺陷，提出一种改进的方案，同时对改进方案的安全性也进行了分