Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Martín Abadi. Secrecy in programming-language semantics. In Proc. 15th Mathematical Foundations of Program Semantics, pages 1–14, April 1999.
2. R. Focardi and R. Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1):5–33, 1994/1995.
3. Nevin Heintze and Jon Riecke. The SLam Calculus: Programming with secrecy and integrity. In Proceedings 25th Symposium on Principles of Programming Languages, pages 365–377, San Diego, CA, January 1998.
4. Lect Notes Comput Sci;K.R.M. Leino,1998
5. John McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proceedings 1994 IEEE Symposium on Security and Privacy, pages 79–93, Oakland, CA, May 1994.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献