Author:
Bugliesi Michele,Castagna Giuseppe,Crafa Silvia
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lect Notes Comput Sci;T. Amtoft,2001
2. M. Bugliesi and G. Castagna. Secure safe ambients. In Proc. of the 28th ACM Symposium on Principles of Programming Languages, pages 222–235, London, 2001. ACM Press.
3. M. Bugliesi, G. Castagna, and S. Crafa. Boxed ambients. Technical report, L.I.E.N.S., 2001. Available at ftp://ftp.ens.fr/pub/dmi/users/castagna .
4. D.E. Bell and L. La Padula. Secure computer system: Unified exposition and multics interpretation,. Technical Report MTR-2997, MITRE Corporation, Bedford, MA. March 1976.
5. C. Bryce and J. Vitek. The JavaSeal mobile agent kernel. Autonomous Agents and Multi-Agent Systems, 2002. To appear.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalising Security in Ubiquitous and Cloud Scenarios;Computer Information Systems and Industrial Management;2012
2. Secure Broadcast Ambients;Formal Aspects in Security and Trust;2009
3. Specifying and Implementing Secure Mobile Applications;Chapman & Hall/CRC Computational Science;2008-12-22
4. Modelling global computations with
Klaim;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2008-07-31
5. Secure Data Flow in a Calculus for Context Awareness;Concurrency, Graphs and Models;2008