原文传递
Advanced Symbolic Methods for the Cryptographic Protocol Analyzer Maude-NPA.
| 题名： | Advanced Symbolic Methods for the Cryptographic Protocol Analyzer Maude-NPA. |
| 作者： | Escobar-Romain, S. |
| 摘要： | Maude-NPA is a protocol analyzer developed by Catherine Meadows (Naval Research Laboratory, Washington DC, US), Jose Meseguer(University of Illinois at Urbana-Champaign, IL, US) and Santiago Escobar (Universitat Politècnica de València, Spain). It is a specialized modelchecker that relies on equational unification for the generation of the search state space. In this project, we have focused on (i) the equationalunification capabilities of the Maude programming language, which are currently being used by Maude-NPA but also by the protocol analyzersTamarin, developed at ETH Zurich, and AKISS, developed at INRIA France, (ii) integrating satisfiability technology (SMT solvers) into protocolanalysis, and (iii) on analyzing new protocols using Maude-NPA, where we have analyzed protocols with time, protocols using bilinear pairing, andprotocols using exclusive-or. |
| 总页数： | 7 pages |
相关文献
- Optimizing Secure Communication Standards for Disadvantaged Networks
- UTMS system architecture.
- Precision Estimates for AASHTO Test Method T308 and the Test Methods for Performance-Graded Asphalt Binder in AASHTO Specification M320.
- ABOUT THE CONSTRUCTION OF PEDESTRIAN INFORMATION AND COMMUNICATION SYSTEMS (PICS).
- NESTED LOGIT MODELS AND ARTIFICIAL NEURAL NETWORKS FOR PREDICTING HOUSEHOLD AUTOMOBILE CHOICES: COMPARISON OF PERFORMANCE.
- MODEL PROJECT FOR DIMINISHING ENVIRONMENTAL BURDENS.
检索历史
应用推荐
