M. Abadi and C. Fournet, "Mobile Values, New Names, and Secure Communication," pp. 104--115, 2001. Home/Search Document Details and Download
Summary ACM TOC Related Articles Check |
This paper is cited in the following contexts:
Classification of Security Properties (Part I: Information Flow) - Focardi, Gorrieri (Correct)
....flow. We also intend to carry the BNDC theory over more expressive process calculi, like, e.g. pi spicalculus [2] and Mobile Ambients [13] This would allow to compare it with new recent security properties proposed on such calculi and reminiscent of some Non Interference ideas (see, e.g. [37, 35]) ....
C. Fournet and M. Abadi. "Mobile Values, New Names, and Secure Communication ". In Proceedings of the 28th ACM Symposium on Principles of Programming Languages (POPL'01), pages 104--115, January 2001.
Advancing Assurance for Secure Distributed Communications - Bella, Bistarelli (2002) (Correct)
No context found.
M. Abadi and C. Fournet, "Mobile Values, New Names, and Secure Communication," pp. 104--115, 2001.
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