Mart'in Abadi, C'edric Fournet, and Georges Gonthier. A top-down look at a secure message. In Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122--141. Springer-Verlag, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Cryptographic Types - Duggan (2002) (6 citations) (Correct)
.... (an extension of the asynchronous pi calculus [29, 28, 10, 11, 23, 37] that represents a small kernel programming language with a cryptographic type system, and we use process equivalence techniques to reason about the preservation of secrecy and integrity properties of programs in this language [8, 4, 6, 5, 7]. In the next section we describe the ec calculus, an extension of the asynchronous pi calculus with cryptographic types. In Sect. 3 we describe the spi calculus, a machine language into which the ec calculus can be translated; this is an extension of the pi calculus with primitive ....
....The motivation for this work has been the need for proper programming abstractions for developing applications that span wide area networks and the Internet. Almost all of the work in the area of wide area languages has focused on security, for example, providing abstractions of secure channels [7, 6, 5], controlling key distribution [19, 16] reasoning about security protocols [8, 1] tracking untrustworthy hosts in the system [27, 36] etc. Abadi [1] considers a type system for ensuring that secrecy is preserved in security protocols implemented in that type system. For securing communication ....
M. Abadi, C. Fournet, and G. Gonthier. A top-down look at a secure message. In Foundations of Software Technology and Theoretical Computer Science, pages 122--141, 1999.
Secure Implementation of Channel Abstractions - Mart Abadi Abadi (1998) (9 citations) Self-citation (Abadi Edric Georges) (Correct)
No context found.
Martn Abadi, Cedric Fournet, and Georges Gonthier. A top-down look at a secure message. In Proceedings of the 19th International Conference on Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122-141. Springer-Verlag, December 1999.
Secure Implementation of Channel Abstractions - Abadi, Fournet (2000) (21 citations) Self-citation (Abadi Fournet Gonthier) (Correct)
....translation, with several variants, and in sections 5 and 6 we study its theory and some applications of this theory. We conclude in section 7. Appendices contain supplementary formal definitions and proofs of our results. Parts of this work appear in preliminary form in three conference papers [3, 4, 5]. A fourth conference paper continues this work with a treatment of authentication primitives [5] 2 2 From the join calculus to the sjoin calculus In this section, we introduce our high level language and our low level language. Along the way, we motivate some of the technical ideas developed ....
....of this theory. We conclude in section 7. Appendices contain supplementary formal definitions and proofs of our results. Parts of this work appear in preliminary form in three conference papers [3, 4, 5] A fourth conference paper continues this work with a treatment of authentication primitives [5]. 2 2 From the join calculus to the sjoin calculus In this section, we introduce our high level language and our low level language. Along the way, we motivate some of the technical ideas developed in later sections. We postpone most formal details to later sections. 2.1 The join calculus Our ....
[Article contains additional citation context not shown here]
Martn Abadi, Cedric Fournet, and Georges Gonthier. A top-down look at a secure message. In Proceedings of the 19th International Conference on Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122--141. Springer-Verlag, December 1999.
Relating Cryptography and Polymorphism - Benjamin Pierce Eijiro (2000) (Correct)
No context found.
Mart'in Abadi, C'edric Fournet, and Georges Gonthier. A top-down look at a secure message. In Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122--141. Springer-Verlag, 1999.
Relating Cryptography and Polymorphism - Pierce, Sumii (2000) (Correct)
No context found.
Martn Abadi, Cedric Fournet, and Georges Gonthier. A top-down look at a secure message. In Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122-141. Springer-Verlag, 1999.
Relating Cryptography and Polymorphism - Pierce, Sumii (2000) (Correct)
No context found.
Martn Abadi, Cedric Fournet, and Georges Gonthier. A top-down look at a secure message. In Foundations of Software Technology and Theoretical Computer Science, volume 1738 of Lecture Notes in Computer Science, pages 122-141. Springer-Verlag, 1999.
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