CAPSL Interface for the NRL Protocol Analyzer

Authors:
Stephen Brackin;Catherine Meadows;Jonathan Millen
Affiliations:
-;-;-
Venue:
ASSET '99 Proceedings of the 1999 IEEE Symposium on Application - Specific Systems and Software Engineering and Technology
Year:
1999

Citing 0
Cited 9

Verifying security protocols as planning in logic programming

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The Watson Theorem Prover

Journal of Automated Reasoning
Planning Attacks to Security Protocols: Case Studies in Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Inductive verification of smart card protocols

Journal of Computer Security
A Formal Framework and Evaluation Method for Network Denial of Service

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A comparison between strand spaces and multiset rewriting for security protocol analysis

Journal of Computer Security
On the semantics of Alice&Bob specifications of security protocols

Theoretical Computer Science - Automated reasoning for security protocol analysis
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Higher-Order and Symbolic Computation
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.