Author:
Degano Pierpaolo,Levi Francesca,Bodei Chiara
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. C. Bodei, P. Degano, F. Nielson and H. Riis Nielson. Static Analysis for the π-calculus with their application to security. To appear in Information and Computation. Also available at
http://www.di.unipi.it/~chiara/publ-40/BDNNi00.ps
.
2. M. Bugliesi and G. Castagna Secure Safe Ambients and JVM Security. Proceedings of the Workshop on Issues in the Theory of Security 2000 (co-located with ICALP’00), pages 18–23, 2000.
3. Lect Notes Comput Sci;L. Cardelli,1999
4. L. Cardelli and A. Gordon Types for mobile ambients. Proceedings of 26th ACM Principles of Programming Languages (POPL’ 99), pages 79–92. ACM Press, 1999.
5. L. Cardelli and G. Ghelli Ambient Groups and Mobility Types. Proceedings of IFIP TCS 2000. To appear.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compliance Verification Algorithm for Computer Systems Security Policies;Lecture Notes in Business Information Processing;2017
2. Context-aware security: Linguistic mechanisms and static analysis;Journal of Computer Security;2016-08-16
3. Last Mile’s Resources;Semantics, Logics, and Calculi;2015-12-25
4. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015
5. Information flow security in Boundary Ambients;Information and Computation;2008-02