Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Abadi and D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 1998.
M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. In ACM Operating Systems Review 23(5), 1989.
V. Kessler and G. Wedel. AUTLOG An Advanced Logic of Authentication. In Proc. IEEE Computer Security Foundations Workshop IV, pages 90–99. IEEE, 1994.
D. Kindred and J. Wing. Fast, automatic checking of security protocols. In 2nd USENIX Workshop on Electronic Commerce, pages 41–52, 1996.
R. Letz, et al. SETHEO: A High-Performance Theorem Prover. JAR, 8(2):183–212, 1992.
C. A. Meadows. Formal verification of Cryptographic Protocols: A Survey. In Proc. AsiaCrypt, 1994.
L. Paulson. Proving properties of security protocols by induction. In PCSFW: Proc. 10th Computer Security Foundations Workshop. IEEE, 1997.
J. Schumann. DELTA A Bottom-up Preprocessor for Top-Down Theorem Provers, System Abstract. In Proc. CADE 12. Springer, 1994.
J. Schumann. Automatic verification of cryptographic protocols with SE-THEO. In Proc. CADE 14. Springer, pp. 87–100, 1997.
K. Wagner. DePIL: Ein SETHEO-basiertes Werkzeug zur Analyse kryptographischer Protokolle. Fortgeschrittenenpraktikum, TUM, 1997.
A. Wolf and J. Schumann. ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. In Proc. CADE 14. Springer, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schumann, J. (1999). PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. In: Halbwachs, N., Peled, D. (eds) Computer Aided Verification. CAV 1999. Lecture Notes in Computer Science, vol 1633. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48683-6_45
Download citation
DOI: https://doi.org/10.1007/3-540-48683-6_45
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66202-0
Online ISBN: 978-3-540-48683-1
eBook Packages: Springer Book Archive