期刊名称：International Journal of Intelligent Control and Systems
印刷版ISSN：0218-7965
出版年度：2005
卷号：10
期号：1
页码：77-85
出版社：Westing Publishing Co., Fremont
摘要：Traditional approaches such as theorem proving and model checking have been successfully used to analyze security protocols. Ideally, they assume the data communication is reliable and require the user to predetermine authentication goals. However, missing and inconsistent data have been greatly ignored, and the increasingly complicated security protocol makes it difficult to predefine such goals. This paper presents a novel approach to analyze security protocols using association rule mining. It is able to not only validate the reliability of transactions but also discover potential correlations between secure messages. The algorithm and experiment demonstrate that our approaches are useful and promising.
