A. D. Gordon and A. Je#rey. Authenticity by Typing for Security Protocols. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
C edric Fournet Andrew D. Gordon - Sergio Maffeis September (2005) Self-citation (Gordon) (Correct)
No context found.
A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. Journal of Computer Security, 11(4):451--521, 2003.
A Calculus for Cryptographic Protocols - Lecture Notes Andrew Self-citation (Gordon) (Correct)
No context found.
A.D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In 14th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 2001. To appear. An extended version appears as Microsoft Research Technical Report MSR--TR--2001--49, May 2001.
A Semantics for Web Services Authentication - Bhargavan, Fournet, Gordon (2003) Self-citation (Gordon) (Correct)
No context found.
A. D. Gordon and A. Je#rey. Authenticity by typing for security protocols. Journal of Computer Security, 11(4):451--521, 2003. 59
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
No context found.
A. D. Gordon and A. Je#rey. Authenticity by Typing for Security Protocols. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW 2001.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Andrew D. Gordon and Alan Je#rey. Authenticity by typing for security protocols. Journal of Computer Security, 11(4):451--520, 2003.
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) (Correct)
No context found.
Andrew D. Gordon and Alan Je#rey. Authenticity by Typing for Security Protocols. Journal of Computer Security, 11(4):451--520, 2003.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Andrew D. Gordon and Alan Je#rey. Authenticity by typing for security protocols. Journal of Computer Security, 11(4):451--520, 2003.
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2002) (9 citations) (Correct)
No context found.
Andrew Gordon and Alan Je#rey. Authenticity by typing for security protocols. In Computer Security Foundations Workshop, Cape Breton, June 2001. IEEE Computer Society.
Principles for Entity Authentication - Bugliesi, Focardi, Maffei, Tudone (2003) (Correct)
No context found.
A. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In 14th IEEE Computer Security Foundations Workshop (CSFW-14),pages 145-159, June 2001.
Useless-Code Elimination and Program Slicing for the Pi-Calculus - Kobayashi (2003) (Correct)
No context found.
A. D. Gordon and A. Je#rey. Authenticity by typing for security protocols. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001), pages 145--159. IEEE Computer Society Press, 2001.
Principles for Entity Authentication - Bugliesi, Focardi, Maffei (2003) (Correct)
No context found.
A. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In 14th IEEE Computer Security Foundations Workshop (CSFW-14),pages 145-159, June 2001.
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
No context found.
A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001), pages 145--159. IEEE Computer Society Press, 2001.
Confining Data and Processes in Global Computing Applications - De Nicola, Gorla, Pugliese (2004) (Correct)
No context found.
A. Gordon and A. Je#rey. Authenticity by typing for security protocols. Journal of Computer Security, 11(4):451--521, 2003.
Useless-Code Elimination and Program Slicing for the Pi-Calculus - Kobayashi (2003) (Correct)
No context found.
A. D. Gordon and A. Je#rey. Authenticity by typing for security protocols. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001), pages 145--159. IEEE Computer Society Press, 2001.
Information Society Technologies - Ist Programme Contract (Correct)
No context found.
A. Gordon and A. Je#rey. Authenticity by typing for security protocols. To appear in Proceedings of 14th IEEE Computer Security Foundation Workshop (CSFW14), 2001.
Compositional Analysis of Authentication Protocols - Bugliesi, Focardi, Maffei (Correct)
No context found.
A. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In 14th IEEE Computer Security Foundations Workshop (CSFW-14),pages 145-159, June 2001.
A formal model of Diffie-Hellman using CSP and rank functions - Delicata, Schneider (2003) (1 citation) (Correct)
No context found.
A. D. GORDON AND A. JEFFREY, Authenticity by typing for security protocols, in Proceedings of the 14th Computer Security Foundations Workshop, IEEE Computer Society Press, 2001, pp. 145--159.
Towards Model Checking a Spi-Calculus Dialect - Gnesi, Latella, Lenzini (2002) (Correct)
No context found.
A. D. Gordon and A. Je rey. Authenticity by Typing for Security Protocols. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW 2001), pages 145-159. IEEE Computer Society, 2001.
Unknown - He Democratic Process (2004) (Correct)
No context found.
A.D. Gordon and A. Jeffrey, "Authenticity by Typing for Security Protocols," 14th IEEE Computer Security Foundations Workshop, IEEE CS Press, 2001, pp. 145--159.
Logical Relations for Encryption - Eijiro Sumii University (2001) (16 citations) (Correct)
No context found.
Andrew D. Gordon and Alan Jeffrey. Authenticity by typing for security protocols. In 14th IEEE Computer Security Foundations Workshop, pages 145--159, 2001.
Secrecy in Untrusted Networks - Michele Bugliesi Silvia (2003) (1 citation) (Correct)
No context found.
A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In Proceedings of CSFW 2001, pages 145--159. IEEE Computer Society, 2001.
A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2003) (30 citations) (Correct)
No context found.
A. D. Gordon and A. Je#rey. Authenticity by typing for security protocols. In Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW 2001.
Type-Based Distributed Access Control (Extended Abstract) - Chothia, Duggan, Vitek (2003) (Correct)
No context found.
A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. In IEEE Computer Security Foundations Workshop (CSFW), June 2001.
Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
No context found.
A. D. Gordon and A. Je rey. Authenticity by Typing for Security Protocols. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW 2001.
Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
No context found.
A. D. Gordon and A. Je#rey. Authenticity by Typing for Security Protocols. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW 2001.
First 50 documents Next 50
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