C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson. Automatic validation of protocol narration. In 16th IEEE Computer Security Foundations Workshop (CSFW'03), pages 126--140, Pacific Grove, California, June 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Control Flow Analysis Can Find New Flaws Too - Bodei, Buchholtz, Degano.. Self-citation (Bodei Buchholtz Degano Nielson) (Correct)
No context found.
C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson. Automatic validation of protocol narration. In Proc. of CSFW'03, pages 126-140. IEEE, 2003.
Static Analysis of Routing Protocols for Ad-Hoc Networks - Nanz, Hankin (2004) (Correct)
No context found.
C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson. Automatic validation of protocol narration. In 16th IEEE Computer Security Foundations Workshop (CSFW'03), pages 126--140, Pacific Grove, California, June 2003.
Compositional Analysis of Authentication Protocols - Bugliesi, Focardi, Maffei (Correct)
No context found.
C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson. Automatic validation of protocol narration. In In proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW 16), pages 126--140, June 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC