检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

Select

1. 单向函数在公钥认证协议中的作用

赵华伟;李大兴

计算机应用 2005, 25 (11): 2509-2511.

摘要（1426）

PDF （564KB）（1047）

对认证协议进行了研究，指出采用保密服务是设计认证协议是一种安全服务的误用，存在两种潜在的安全隐患。针对带密钥的单向函数提出了一种扩展的BAN逻辑。利用该逻辑对两种改进的公钥认证协议进行形式化分析，说明带密钥的单向函数所提供的两种安全服务能够保证公钥认证协议的安全。

相关文章 | 多维度评价

Select

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

赵华伟;李大兴;秦静

计算机应用 2005, 25 (10): 2272-2275.

摘要（1385）

PDF （659KB）（1249）

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