Author:
Braghin Chiara,Cortesi Agostino,Focardi Riccardo,Luccio Flaminia L.,Piazza Carla
Subject
Computer Networks and Communications,Software
Reference21 articles.
1. Mobile ambients;Cardelli,1998
2. Mobile ambients;Cardelli;Theoretical Computer Science,2000
3. Abstract interpretation of mobile ambients;Hansen,1999
4. Nielson F, Hansen RR, Riis Nielson H. Abstract interpretation of mobile ambients. In: Cortesi A, File G, editors. Science of computer programming. Special issue on static analysis, vol. 47, No. 2–3. Amsterdam: Elsevier; 2003. p. 145–75.
5. Braghin C, Cortesi A, Focardi R. Security boundaries in mobile ambients. Computer languages, vol. 28, No. 1. Amsterdam: Elsevier; November 2002. p. 101–27.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A monotone framework for CCS;Computer Languages, Systems & Structures;2009-12
2. Information flow security in Boundary Ambients;Information and Computation;2008-02