【摘 要】
：
在分布式系统中,客户向对方证实自己的身份以及建立会话密钥已是非常重要,密码协议的实施就是达到这种目的的有效方法。但密码协议的设计容易出错。本文给出了一种密码协议分
【机 构】
：
西安电子科技大学105室,西安电子科技大学105室 西安 710071,西安 710071
论文部分内容阅读
在分布式系统中,客户向对方证实自己的身份以及建立会话密钥已是非常重要,密码协议的实施就是达到这种目的的有效方法。但密码协议的设计容易出错。本文给出了一种密码协议分析和检测模型,该模型对密码协议的描述简单而且直观。在此模型中,协议被描述成状态变换系统,通过对系统状态的检测,能够发现协议中存在的泄漏。最后,给出了如何将改进的TMN协议模型化,并找出了一种新的攻击,同时,给出了TMN协议的进一步改进。
In distributed systems, it is important for customers to prove their identities and establish session keys to each other. Implementing a cryptographic protocol is an effective way to accomplish this. However, the design of the password protocol is prone to error. This paper presents a cryptographic protocol analysis and detection model that describes cryptographic protocols simply and intuitively. In this model, the protocol is described as a state transition system, which detects leaks in the protocol by detecting the state of the system. Finally, it shows how to model the improved TMN protocol and find out a new attack. At the same time, the further improvement of TMN protocol is given.
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
目的 探讨HNF-4α是否通过上调miR-122,进而激活2型糖尿病肝脏糖异生及脂质代谢紊乱.方法 建立2型小鼠糖尿病模型,检测2型糖尿病小鼠肝脏以及棕榈酸诱导的HepG2细胞中miR
吉林省辽源市在精准扶贫中走出了一条适合自己的脱贫路线,通过精准识别,剔除不符合条件的贫困户,在此基础上,在全市农村地区实行“五点双享两救助”贫困户兜底机制,真正做到
公开透明的工作机制是当前全面从严治党向基层延伸的薄弱环节.我们应该做好信息获取、动态管理、追究问责等工作,保障基层信息获取通畅透明.
贝宁人民共和国波贝试验站对1964年定植的12亩的拉美×德里和丹那拉×杜拉种油棕园进行慢灌试验,土壤属沙质冲积土。慢灌,也即局部灌溉,特点是,部分土壤湿润,灌溉频率高(每
Urea transporters (UT), including isoforms of UTA in kidney tubule epithelia and UTB in vasa recta endothelia and erythrocytes, play an important role in th
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
砧木苗的培育来我場“传經”的广东柑桔技术能手,于去年12月底播种培育柑桔砧木苗0.45亩,到今年7月初检查,檸檬苗高达41.5厘米,茎粗(离地面5厘米处的直径)达0.57厘米;酸桔苗
上个世纪五十年代.我和胡昭还没有交往,但我知道他,知道他的一首诗:《军帽下的眼睛》。至今许多诗歌选本,共和国初期部分还都选这首诗。在当时一派大声疾呼、为集体代言的诗
1910年冬季在东北发生的一场鼠疫传入到关内以后,对关内的社会经济生活产生了巨大的影响.针对这场疫情,交通运输部门也采取了应对措施并取得了良好的成效.