Modeling and Analysis of Guessing Attacks in Strand Spaces
会议名称：《2006 the IET International Conference on Wireless Mobile & Multimedia Networks》
会议日期：2006年
学科分类：0839[工学-网络空间安全] 08[工学]
关 键 词：protocol analysis guessing attack password weak secret strand space.
摘 要：正This paper presents an extension of strand spaces that can reason about various forms of guessing attacks on the authenticated protocol based on password. The sequences of attacker actions corresponding to the forms of guessing attacks are modeled composition strands. We present a systematic way of analyzing a protocol for guessing attacks within our framework. In particular, we argue whether randomly guessing values can be infeasible using the concept of threshold probability which is a measure of the system’s tolerance. We have illustrated these methods on GLNS protocol as an example.