【摘 要】
：
In this paper, the limitation of the GNY logic about its inability to detect the reflection attacks againstsome authentication protocols is given. An improvemen
【机 构】
：
Laboratory of Computer Sciences
论文部分内容阅读
In this paper, the limitation of the GNY logic about its inability to detect the reflection attacks againstsome authentication protocols is given. An improvement is proposed whichtakes into account the possible multiple instances (principals) of thesame identity in the model.
其他文献
对于一项建筑电气工程而言,从开工到竣工,施工现场质量管理工作自始至终都起着至关重要的作用.为此,本文结合实践工作经验,时确保高层建筑电气工程的质量提出了几条有效的措
病险水利水电枢纽工程最主要的病征是渗透问题,有地基(包括坝肩)渗透和坝体渗透.根据不同的坝型、坝基和病因情况,应采取不同的处理方法.常用的是防渗墙和灌浆.
丝绸业是安徽长江中下游地区的传统产业,在当前的国内外形势下,我省既迎来了发展丝绸业的良好机遇又面临着严峻的挑战.本文用SWOT分析方法对国家产业转移的宏观调控的国内背
本文探讨了通过路由策略实现网络控制.首先介绍了子网访问控制存在的问题,然后提出了路由工作原理,接着,详细阐述了静态路由实现网络访问的控制,并探讨了如何利用软件路由器
运用建筑现象学中的场所理论,对重庆大学虎溪校区调研,从规划设计,建筑设计,景观规划等方面,分析蕴舍其中的场所精神,诠释建筑场所精神.
多媒体技术在高职院校《机械制图》课程教学中的应用有效克服了传统教学的弊端,提高了学生的学习兴趣,增大了课堂信息量,节省了学习的时间,对于学生空间想象力的培养,绘图、
首先对辽宁省气象局电子邮件系统进行简单的介绍,然后介绍Domino/Notes8的所有新功能,并对非常重要、实用的功能及应用做详细介绍。最后逐一介绍Domino和Notes8的安装配置及
给出了外转子无刷直流电动机的典型磁状态及其对应的磁势矢量位置,并用磁势矢量合成法、磁势积分法及电磁场的有限元方法对电动自行车用三相六状态外转子无刷直流电动机的气
非正规相带绕组电机的参数计算问题终是困扰设计人员的一个难题,因此研究了单绕组反向法变极电机槽电流的分布规律,导出了槽电流分布的通用公式,为研究较准确的非正规相带绕
以铸造缺陷统计分析及扫描电镜观察为依据，对国内球铁活塞环单体铸造难以起步的技术难题即普遍存在的“黑心”缺陷的成因及实质进行了初步分析，认为这是一种具有一定程度氧化的