论文研究 Linux安全性增强的研究 .pdf

分布式信息流控制是增强系统安全的一种有效方法，但其灵活性也增加了策略管理和分析的复杂性。策略的安全性分析判定系统的所有可达状态是否都能保持特定的安全属性，可以验证策略是否一致完备地满足安全需求。形式化

对柳菊霞等人提出的一种基于离散对数的代理盲签名方案进行了安全性分析,指出方案不满足强不可伪造性和非关联性,为此,提出了一种改进的代理盲签名方案。新方案中,在代理阶段使用授权证书,有效抵抗了原始签名人的

随着科学技术的发展，新型装备系统结构日趋复杂化，除了系统内部组件数量的剧增之外，各分系统之间的连接关系也越来越复杂，传统的系统安全性评估方法已经不能完全适用于复杂化装备系统。以复杂网络知识为依托、对复

针对动态对等通信中的组密钥协商协议进行了分析和研究，指出王志伟等人提出的基于树结构和门限思想的组密钥协商协议（TTS）存在密钥控制和不等献性等缺陷，进而给出了一个改进的方案（I-TTS）。安全性分析表

群签名使得群中任何一个成员均可以代表该群进行签名，而不会暴露签名者的身份。当争议发生时，签名者的身份可以通过群管理员公开。成员删除一直是群签名方案设计中难以解决的一个问题，何业锋等人最近在《软件学报》

在分析了移动Agent通信中存在的安全威胁之后,提出了一种保护移动Agent通信中数据传输安全性的模型。该模型是基于一些数据加密技术和身份认证技术,能较好地满足移动Agent数据传输中的安全需求。

身份标识与位置标识分离网络中映射系统的安全性研究，回全超，，随着国际互联网的迅猛发展，传统的互联网体系架构面临路由可扩展性问题的严峻挑战。为此IETF提出身份标识与位置标识分离机制来解��

针对目前人脸识别系统面临的图片和视频攻击，构建了一种将人脸识别与口令密码相结合，并采用唇语识别技术进行活体检测的高安全性身份认证系统。首先由于汉语唇语数据的缺少，建立了CNLIP1和CNLIP2两个较

设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。

TR069在NGN业务中通信安全性的研究与设计，苏梦，吴伟明，在通信行业的竞争不断激烈的今天，NGN开创了通信网发展的新纪元，NGN的业务给运营商提供了更为广阔的业务空间，为运营商打造核心竞