论文部分内容阅读
通过实例说明了BAN逻辑在公钥体制认证协议中的局限性,分析了该局限性产生的原因,引入了“公开”的逻辑概念,提出了一种扩展BAN逻辑,并通过实例验证了扩展BAN逻辑的有效性。
公钥体制中BAN逻辑的扩展
【摘 要】
：
通过实例说明了BAN逻辑在公钥体制认证协议中的局限性,分析了该局限性产生的原因,引入了“公开”的逻辑概念,提出了一种扩展BAN逻辑,并通过实例验证了扩展BAN逻辑的有效性。
【机 构】
：
西北校技术研究所,西北校技术研究所,西北校技术研究所,西北校技术研究所 西安 710024,西安 710024,西安 710024,西安 710024
【出 处】
：
通信保密
【发表日期】
：
2000年04期
其他文献
改革开放以来，随着我国经济社会的快速发展，建筑业已经成为我国国民经济的支柱产业，建设工程质量也更多的受到各界的关注。建设工程质量检测是建设工程质量监督管理的重要组成部
简要讨论了电子现金的特点,并在ElGamal签名、承诺方案和ZK的基础上构造了一种电子现金方案.最后对此方案的安全性作了说明.
建筑工程预决算是工程造价的决定性文件，是对工程项目投资进行控制的有效手段，是企业招标、企业经营管理水平考核的重要依据，便于审查机关对企业投资状况的审核和对经济活动的监
目前，交通行业由于公路投资市场没有完全开放，尤其是高速公路项目承包人很少提出索赔，因此，介绍索赔实务方面的文章也少，本文通过具体的案例，探讨高速公路索赔的成因、特点、处理，共
你了解Windows的系统任务栏吗?任务栏在正常情况下位于Windows桌面的底部,其最左侧是使用频率最高的“开始”菜单按钮,中间是一些表示正在运行的应用程序的“任务按钮”,最右
故事开始在公元两千年的夏天.rn深圳.rn乔海棠,女,25岁,外企行政部职员.rn王建树,男,30岁,外企营销部经理,乔海棠的男友.rn香雪儿,女,26岁,网站编辑,王建树的网上情人.rn老K,
年度土地变更调查摸清土地利用现状，是国土资源日常管理的基本要求。随着城市快速发展，年度土地利用变更的问题也越来越多。本文着重介绍基于GIS技术的地(州)级土地变更技术与