论文部分内容阅读
本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳固和完善。
对BAN逻辑中新鲜子的研究
【摘 要】
：
本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳固和完善。
【机 构】
：
北京邮电大学信息安全中心,北京邮电大学信息安全中心,北京邮电大学信息安全中心 北京 100876,北京 100876,北京 100876
【出 处】
：
电子科学学刊
【发表日期】
：
2000年03期
其他文献
随着当今世界全球经济一体化，文化全球化的趋势也日渐形成，不同文化背景的人群之间的交流越来越频繁，翻译在其间所起的作用也越来越大。而在英美国家，长期以来，流畅的、以目的语为
目前《红楼梦》翻译研究，特别是对杨宪益（与戴乃迭）和霍克斯（与闵福德）完成的两个英语全译本的研究，可谓如火如荼，大大推动了翻译理论和实践的发展，同时也在指导思想、方法程序、研究
本文以H面喇叭为例,研究了天线时域近场的运动状态,用谱域法分析了平面近场分布状况,得出采样原则,为平面近场扫描测量提供了理论依据。介绍了时域平面近场测量的近远场变换公式,包括时域和频域两种计算途径。对各自的优点作出了探讨。运用近远场变换方法计算了时域远场和频域方向图。
期刊
无线网络的大量出现使制造商能够为不同终端用户开发新的、具有吸引力的多媒体设备。例如,在个人媒体播放器和手持游戏控制台在内的更大范围非传统手持设备具备无线局域网(WL
当我为写一篇稿子而研究45英寸LCD平板电视时,我渐渐看清了一件事实,即一些狡诈的势力正在防止用户将任何一台新电视用作PC显示器.没有一台45英寸～47英寸LCD平板电视可以接受
2005年10月,AMD向中国转让了X86徼处理器核心技术AMD Geode,结果AMD在中国的势头似乎超过了Intel成为中国政府的新宠。2007年3月,Intel宣布在大连投资25亿美元建300mm生产线,
当代英国学院小说在二战后勃然兴起。马尔科姆·布雷德伯里、戴维·洛奇与 A·S·拜厄特是这一时期英国最杰出的三位学院小说家。在他们的努力下，学院小说这一新兴文类在二战