Optimizing protocol rewrite rules of CIL specifications

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2000, Pages 52-62

  Denker, Grit ^a   Millen, Jonathan K ^a   Grau, A ^b   Filipe, J Küester ^b  

^a SRI INTERNATIONAL   (United States)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CRYPTOGRAPHY; DATA PRIVACY; DATA STRUCTURES; HIGH LEVEL LANGUAGES; IMAGE CODING; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; OPTIMIZATION; THEOREM PROVING;

CRYPTOGRAPHIC PROTOCOLS; MULTISET REWRITING (MSR) RULE LANGUAGES;

SECURITY OF DATA;

EID: 0033701252     PISSN: 10636900     EISSN: None     Source Type: Journal    
DOI: 10.1109/CSFW.2000.856925     Document Type: Article

References (8)

1. S. Brackin An interface specification language for automatically analyzing cryptographic protocols Symposium on Network and Distributed System Security Symposium on Network and Distributed System Security 1997-February
2. U. Carlsen Generating formal cryptographic protocol specifications IEEE Symposium on Research in Security and Privacy 137 146 IEEE Symposium on Research in Security and Privacy 1994
3. I. Cervesato N. Durgin P. Lincoln J. Mitchell A. Scedrov A meta-notation for protocol analysis 12th IEEE Computer Security Foundations Workshop 55 69 12th IEEE Computer Security Foundations Workshop 1999
4. E. Clarke S. Jha W. Marrero Using state space exploration and a natural deduction style message derivation engine to verify security protocols Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET) Proc. IFIP Working Conference on Programming Concepts and Methods (PROCOMET) 1998
5. G. Denker J. Millen CAPSL and CIL Language Design: A Common Authentication Protocol Specification Language and Its Intermediate Language 1999 CA, Menlo Park SRI-CSL-9902 Computer Science Laboratory, SRI International http://www.csl.sri.com/denker/pub_99.html
6. G. Denker J. Millen CAPSL Integrated Protocol Environment Proc. DARPA Information Survivability Conference and Exposition, DISCEX2000 Proc. DARPA Information Survivability Conference and Exposition, DISCEX2000 Hilton Head Island USA SC 2000-January-25-27 http://schafercorp—ballston. com/discex/
7. G. Lowe Casper: a compiler for the analysis of security protocols Journal of Computer Security 6 1 53 84 1998
8. J. Millen CAPSL Web Site 1999 http://www.csl.sri. com/millen/capsl