论文部分内容阅读
ＢＡＮ逻辑是用于分析密码协议安全性的一种形式化工具，但是ＢＡＮ逻辑中的推理法则只有在一定假设的情况下才是正确的。该文分析了ＢＡＮ逻辑成立所依赖的假设并指出类ＢＡＮ逻辑中的信任模型无法反映现实中的信任关系。
BAN逻辑成立的前提
【摘 要】
：
ＢＡＮ逻辑是用于分析密码协议安全性的一种形式化工具，但是ＢＡＮ逻辑中的推理法则只有在一定假设的情况下才是正确的。该文分析了ＢＡＮ逻辑成立所依赖的假设并指出类ＢＡＮ逻辑中的信任模型无法反映
【机 构】
：
科学技术大学研究生院(北京)信息安全国家重点实验室
【出 处】
：
第14届全国计算机安全学术交流会
【发表日期】
：
1999年7期
其他文献
利用农杆菌系LBA44 0 4(pCAMBIA330 0RG)转化优良甘蓝型油菜恢复系W72 3的下胚轴节段 .pCAM BIA330 0RG含有Rss1启动子引导的雪花莲外源凝集素基因 (gna)和CaMV 35S启动子引
有人把2003年称为记者“挨打年”,记者挨打事件频见报端。新闻把客观公正地报道事情真相作为自己的天职,对公民的社会知情权、批评建议权、监督权应进行有效地实施。在采访报
研究了BC-TiB-TiC复合材料的显微组织和力学性能。发现含有10vol℅TiB和20-30vol℅TiC的BC复合材料强度和韧性较高。TiB-30vol℅TiC-60vol℅BC材料的抗弯强度达到462MPa，断裂
该文主要介绍了一个基于Ｗｉｎｄｏｗｓ９５系统的Ｂ２１５多通道分析系统测试软件的设计思想和具体实现技术，提出了一种测试软件设计和实现的解决方案，并为同类系统的改造提供一定的借鉴。
利用溶胶-凝胶法合成了BaCeLnO(Ln=Sm,Eu,Gd)固体电解质，X射线粉末衍射表明900℃既形成正交钙钛矿结构，与高温固相反比较合成温度降低了约600℃，测定了样品的阻抗谱，电性及磁性，研
利用微波烧结工艺和传统烧结工艺获得了晶粒尺寸从0.5μm至15μm的陶瓷样品,研究测试了各样品的铁电相变特征及相变参数.实验表明,BaSrTiO陶瓷材料存在着弥散性相变,相变特性