Capsl Interface For The Nrl Protocol Analyzer
ASSET '99: Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology（1999）
摘要
The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the security analysis of cryptographic protocols. Its goal is to permit a protocol to be specified once in a form that is usable as an interface to any type of analysis tool or technique, given appropriate translation software. This paper describes the first operational CAPSL translator to the language used by the NRL Protocol Analyzer (NPA), a software tool developed specifically for the analysis of cryptographic protocols.
更多查看译文
关键词
application program interfaces,cryptography,network analysers,program interpreters,protocols,specification languages,CAPSL interface,CAPSL translator,Common Authentication Protocol Specification Language,NRL Protocol Analyzer,cryptographic protocols,formal methods,high-level language,security analysis,software tool,translation software,
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要