Research and improvement on the limitation of authentication test |
| |
Authors: | Liu Jiafen Zhou Mingtian |
| |
Institution: | Department of Computer Science and Engineering, University of Electronic Science & Technology of China, Chengdu 610054, P. R. China |
| |
Abstract: | This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved the soundness of that improvement with formal method.The enhaneed theory can deal with protocols with test component as proper subterm of other regular node's component under certain conditions, and extend the application scope of authentication test.With enhanced authentication test, the automatic protocol verification tools will be more efficient and convenient. |
| |
Keywords: | authentication test strand space formal method security protocol analysis |
本文献已被 维普 万方数据 等数据库收录! |
|