Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the ACM Symposium on Principles of Programming Languages. (2001) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for the Analysis of Security Protocols - Boreale, Buscemi (2001) (2 citations) (Correct)
.... and public key, digital signature and hashing) As a base language, we consider a dialect of the spi calculus [3] Unlike the original spi calculus and the languages in [4, 7] where cryptographic functions are modelled as process operators, we adopt a uniform process syntax, much as that of [2], and consider a generic signature of cryptographic functions. The latter may include constructors and destructors for various cryptographic operations, akin to [1] The meaning of terms is provided by an evaluation relation # that maps terms to values (or messages) On top of the evaluation ....
M. Abadi, C. Fournet. Mobile Values, New Names, and Secure Communication. In Conf. Rec. of POPL'01, 2001.
Static Analysis for Secrecy and Non-Interference in.. - Bodei, Degano.. (2001) (3 citations) (Correct)
....of the encryption function, by adding to each plaintext M a new and fresh value r, making any two encryptions of M di erent from each other. In other words, we obtain a notion of history dependent cryptography. Recent and independent developments along a similar line of thought may be found in [20,3]. Indeed, it seems unlikely that any approach only based on algebraic identities (and consideration of the free theory generated) will be able to mimic our semantics based development. In preparation for the applications to security we then develop in Section 3 a Control Flow Analysis (CFA) in ....
M. Abadi, C. Fournet. Mobile Values, New names, and Secure Communication. In POPL'01, ACM, 2001.
Logical Concepts in Cryptography - Kramer (2006) (Correct)
No context found.
Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the ACM Symposium on Principles of Programming Languages. (2001)
A Method for Symbolic Analysis of Security Protocols - Boreale, Buscemi (Correct)
No context found.
M. Abadi, C. Fournet. Mobile Values, New Names, and Secure Communication. In Conf. Rec. of POPL'01, 2001.
Symbolic Analysis of Crypto-Protocols Based on Modular.. - Boreale, Buscemi (2003) (Correct)
No context found.
M. Abadi, C. Fournet. Mobile Values, New Names, and Secure Communication. In Conf. Rec. of POPL'01, 2001.
A Probabilistic Polynomial-Time Calculus for the.. - Mitchell.. (2002) (12 citations) (Correct)
No context found.
Abadi, M., and Fournet, C. Mobile values, new names, and secure communication. In 28th ACM Symposium on Principles of Programming Languages (2001), pp. 104--115.
Probabilistic Bisimulation and Equivalence for.. - Ramanathan.. (2004) (6 citations) (Correct)
No context found.
Abadi, M., and Fournet, C. Mobile values, new names, and secure communication. In 28th ACM Symposium on Principles of Programming Languages (2001), pp. 104--115.
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