Algebraic abstractions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2267 LNCS, Issue , 2002, Pages 21-47

  Bidoit, Michel ^a   Boisseau, Alexandre ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; CRYPTOGRAPHY;

ABSTRACTION TECHNIQUES; AUTOMATIC VERIFICATION; CORRECT-BY-CONSTRUCTION; CRYPTOGRAPHIC PROTOCOLS; FIRST ORDER; FIRST-ORDER FORMULAS; TECHNICAL SENSE; VERIFICATION PROBLEMS;

ALGEBRA;

EID: 84893138418     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45645-7_2     Document Type: Conference Paper

References (14)

1. E. Astesiano, M. Broy, and G. Reggio. Algebraic specification of concurrent systems. chapter 13 in [2], pages 467-520, 1999.
2. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of Systems Specification. Springer, 1999.
3. B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci and P. Schnoebelen. Systems and Software Verification. Springer, July 2001.
4. D. Bolignano. Towards a mechanization of cryptographic protocol verification. In Proc. 9th Int. Conf. Computer Aided Verification (CAV'97), Haifa, Israel, June 1997, volume 1254 of Lecture Notes in Computer Science, pages 131-142. Springer, 1997.
5. D. Bolignano. Using abstract interpretation for the safe verification of security protocols. In MFPS XV Mathematical Foundations of Programming Semantics, Fifteenth Conference, Tulane University, New Orleans, LA, April 28-May 1, 1999, volume 20 of Electronic Notes in Theor. Comp. Sci. Elsevier Science, 1999.
6. E. M. Clarke, O. Grumberg, and D. E. Long. Model checking and abstraction. In Proceedings of the Nineteenth Annual ACM Symposium on Principles of Programming Languages (POPL'92), Albuquerque, New Mexico, January 19-22, 1992, pages 343-354. ACM Press, 1992.
7. Cofi: The common framework initiative for algebraic specification and development. http://www.brics.dk/Projects/CoFI/.
8. P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2-3):103-179, 1992.
9. D. Dams, R. Gerth, and O. Grumberg. Abstract interpretation of reactive systems. In ACM Transactions on Programming Languages ans Systems, volume 19, 1997.
10. D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2):198-208, 1983.
11. J. Goubault-Larrecq. A method for automatic cryptographic protocol verification (extended abstract). In Proc. 15th IPDPS 2000 Workshops, Cancun, Mexico, May 2000, volume 1800 of Lecture Notes in Computer Science, pages 977-984. Springer, 2000.
12. S. Merz. Rules for abstraction. In R. K. Shyamasundar and K. Ueda, editors, Advances in Computing Science (ASIAN'97), volume 1345 of LNCS, pages 32-45, Berlin, Germany, 1997. Springer.
13. L. C. Paulson. The inductive approach to verifying cryptographic protocols. J. Computer Security, 6:85-128, 1998.
14. A. Tarlecki. Towards heterogeneous specifications. In Proc. Workshop on Frontiers of Combining Systems FroCoS'98, Amsterdam, October 1998, Applied Logic Series. Kluwer Academic Publishers, 1998. (To appear).