节点文献
BAN逻辑成立的前提
【机构】 中国科学技术大学研究生院(北京)信息安全国家重点实验室；
【摘要】 BAN逻辑是用于分析密码协议安全性的一种形式化工具,但是BAN逻辑中的推理法则只有在一定假设的情况下才是正确的。本文分析了BAN逻辑成立所依赖的假设并指出类BAN逻辑中的信任模型无法反映现实中的信任关系。
- 【会议录名称】 第14届全国计算机安全学术交流会论文集
- 【会议名称】第14届全国计算机安全学术交流会
- 【会议时间】1999-07-01
- 【会议地点】中国上海
- 【分类号】TP393.08
- 【主办单位】中国计算机学会计算机安全专业委员会、《上海微型计算机》杂志社