PS-LTL for constraint-based security protocol analysis

Lecture Notes in Computer Science

Volumn 3668, Issue , 2005, Pages 439-440

  Corin, Ricardo ^a   Saptawijaya, Ari ^a   Etalle, Sandro ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; INFORMATION ANALYSIS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SECURITY OF DATA;

CONSTRAINT SOLVING; FINITE NUMBER; REQUIREMENT LANGUAGES; SECURITY PROTOCOLS;

NETWORK PROTOCOLS;

EID: 27144466741     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11562931_46     Document Type: Conference Paper

References (12)

1. M. Abadi and A. Gordon. A calculus for cryptographic protocols: The spi calculus. In Fourth ACM Conference on Computer and Communications Security, pages 36-47. ACM Press, 1997.
2. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
3. R. Corin, A. Durante, S. Etalle, and P. H. Hartel. A trace logic for local security properties. In Int. Workshop on Software Verification and Validation (SVV), volume 118, pages 129-143, Mumbai, India, Dec 2003. Elsevier Science in Electronic Notes in Theoretical Computer Science.
4. R. Corin and S. Etalle. An improved constraint-based system for the verification of security protocols. In M. V. Hermenegildo and G. Puebla, editors, 9th Int. Static Analysis Symp. (SAS), volume LNCS 2477, pages 326-341, Madrid, Spain, Sep 2002. Springer-Verlag, Berlin.
5. R. Corin, A. Saptawijaya, and S. Etalle. PS-LTL for constraint-based security protocol analysis, http://www.cs.utwente.nl/~corin/ces05long.ps, 2005.
6. G. Lowe. Casper: A compiler for the analysis of security protocols. In Proc. 10th IEEE Computer Security Foundations Workshop (CSFW '97), pages 18-30. IEEE, 1997.
7. C. Meadows. The NRL protocol analyzer: An overview. Journal of Logic Programming, 26(2):113-131, 1996.
8. C. Meadows, P. Syverson, and I. Cervesato. Formalizing GDOI group key management requirements in NPATRL. In Proceedings of the ACM Conference on Computer and Communications, pages 235-244. ACM, November 2001.
9. J. Millen and V. Shmatikov. Constraint solving for bounded-process cryptographic protocol analysis. In 8th ACM Conference on Computer and Communication Security, pages 166-175. ACM SIGSAC, November 2001.
10. J. K. Millen. CAPSL web site, http://www.csl.sri.com/~millen/capsl, 2000.
11. P. Syverson and C. Meadows. A formal language for cryptographic protocol requirements. Designs, Codes, and Cryptography, 7(1/2):27-59, 1996.
12. F. J. Thayer, J. Herzog, and J. D. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7:191-230, 1999.