一种时间相关的分析安全协议的扩展逻辑

Coffey和Saidha提出的CS逻辑可以分析与时间相关的的公钥协议。〖BP）〗在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。     

证书及私钥漫游系统的设计与安全性分析

为解决网络信息的安全问题,数字证书得到了广泛的应用。针对现有的证书(包括其对应的私钥)移动性解决方案的缺点,文章提出了一种新的解决方案。其基本思想是将证书及私钥集中保存在一台漫游服务器上,用户需要时下载即可。文章给出了这种方案的设计框架,并对其安全性进行了详细分析。     

基于适应度的配电网多故障抢修任务分配策略

配电网发生多处故障时,配备的物资和抢修小队不能满足每个故障任务的需求,因此提出基于适应度的配电网多故障抢修任务分配策略。首先量化配电网抢修故障任务、抢修小队和物资仓库的模型,然后定义小队适应度、物资适应度这2个外部适应度指标,分别描述抢修小队、物资仓库与故障任务之间的匹配程度;定义优先级适应度、进度适应度这2个内部适应度指标,分别描述各个故障任务的优先顺序和其抢修进行程度。综合外部适应度指标和内部适应度指标可得出各个故障任务的总适应度值,进行比较后得出最优的任务分配策略。对IEEE 33节点系统进行仿真,仿真结果验证了所提分配策略的有效性和实用性。     

基于角色的代理模型的实现

讨论了用户之间的基于角色的代理，以RBAC96中的模型作为基础，分别考虑不存在角色继承和约束情况下，存在角色继承情况下以及存在角色约束情况下，用户之间的代理行为。     

对基于广义斐波那契数列型背包体制的密码分析

本文通过对广义斐波那契数列性质的研究,指出基于广义斐波那契数列的背包体制要么不能正确加解密,要么是Merkle—Hellman超递增体制的特款,因而是不安全的。最后,对背包体制的脆弱性实质进行一些讨论。     

关于乘积型背包的一种新体制的密码分析

本文通过对“乘积型背包的一种新体制”的系统分析,指出了这一体制的弱点,并基于Brickell算法证明了这一体制是不安全的。     

ATTACKS ON REAL POLYNOMIAL TYPE PUBLIC-KEY CRYPTOSYSTEMS AND DISCUSSION ON RELATED PROBLEMS

The real polynomial type public-key cryptosystems are broken up by computing the equivalent secure keys, then some computational problems related to securities of cryptosystems are discussed.     

“乘积型背包的一种新体制”是易破的

本文对文献提出的“乘积型背包的一种新体制”进行了严格的密码分析,指出了该体制是可以用Brickell的解低密度背包算法来攻破的。     

关于实多项式型公钥密码体制的破译和有关问题的探讨

本文通过计算等价密钥彻底破译了实多项式型公钥密码体制,同时讨论了与密码安全性有关的一些计算问题。     

关于“采用广义斐波那契数列作背包向量的公钥密码体制”的一些注记

本文指出文献[1]提出的公钥密码体制是不正确的。