Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. ACM Strategic Directions in Computing Research, Concurrency Group Report, http://www.acm.org/surveys/sdcr , 1997.
2. R. Alur, D. Peled. Undecidability of Partial Order Logics. Information Processing Letters 69, 137–143, 1999.
3. Lect Notes Comput Sci;R. Alur,1999
4. I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov. A meta-notation for protocol analysis. In proceedings of 12-th IEEE Computer Security Foundations Workshop, 55–69, 1999.
5. F. J. T. Fabrega, J. C. Herzog, J. D. Guttman. Strand Spaces: Why is a security protocol correct? In Proceedings of 1998 IEEE Symposium on Security and Privacy, 160–171, 1998.