【摘 要】
：
逻辑方法是密码协议分析中具有代表性的形式化方法。从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比
论文部分内容阅读
逻辑方法是密码协议分析中具有代表性的形式化方法。从已有文献的技术成果出发,以经典的类BAN逻辑作为主要对象,把逻辑方法在密码协议分析上与经验方法和计算方法分别进行比较。通过这种比较,分析了类BAN逻辑方法在分析结论的全面性、可操作性方面所具有的优势以及在有效攻击的构造和分析结论可信度上的局限性,以及从参与分析的主体角度分析了类BAN逻辑方法在协议分析上的主体特征。除了这种比较分析,也试图在计算主义框架下提供类BAN逻辑方法应用于密码协议分析的哲学基础,并给出了方法论上的启示。
其他文献
移动通信技术和互联网技术快速发展和终身学习理念深入人心,使得基于微信的移动学习模式逐渐成为一种重要的学习方式,在成人教育发展中发挥着越来越突出的作用。可以说,微信
本文在对售电侧改革以及售电侧改革形式下大客户用电市场竞争态势发展变化进行研究分析基础上,进行基于售电侧改革下的大客户用电市场竞争方法探索,以推进电力改革下企业在电
在农村金融发展中,内生金融不足是影响其供需平衡的一个重要原因,作为新农村建设中一种非常典型的金融模式,"互联网+产业链"的政府干预较弱,金融效率高,也有着充分的市场竞争
目的通过建立完善的输血质量管理体系,实现输血全过程的质量管理。方法参照国内外质量管理体系标准,结合本实验室实践,构建输血质量管理体系,并采取有效措施保障该体系的有效
一、生物工程技术及其内涵20世纪90年代以来,用生物工程技术来改造农业、发展农业,已成了热门话题.要用生物工程技术来改造和发展农业,首先要懂得什么是生物工程技术以及它的
目前大部分可充电无线传感器网络中以部署单个移动充电设备居多,但单个移动充电设备的充电能力有限,例如受到充电功率、总能量等的限制,仍无法处理中、大规模的传感器网络充
基于模态分析原理,运用已有的测试手段及数字分析系统,对SXJ4261大型香蕉筛进行了试验模态分析,并将所得的模态参数加以综合和修正,据此分析了影响疲劳寿命的设计缺陷,对筛机
本文以四川大学江安校区的景观感知为研究点,将眼动技术应用于景观视觉感知的分析对比之中,通过校区中具有代表性的场景作为研究材料,运用眼动仪实验获取取研究数据,再通过分
随着经济的快速发展和社会的和谐进步,我国新一轮的电力改革也在全面实施,我国电力体制改革的重点任务之一,就是售电侧放开。本文通过对我国国情和市场状况的分析,立足实际,