Information flow security in Mobile Ambients

Electronic Notes in Theoretical Computer Science

Volumn 54, Issue , 2001, Pages 58-68

  Cortesi, Agostino ^a   Focardi, Riccardo ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Mobile Ambients; Security; Static Analysis

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATIONAL METHODS; COMPUTER VIRUSES; CRYPTOGRAPHY; SECURITY OF DATA; SOFTWARE AGENTS; TELECOMMUNICATION SERVICES;

MOBILE AMBIENTS; MULTILEVEL SECURITY; SECURITY; STATIC ANALYSIS;

MOBILE TELECOMMUNICATION SYSTEMS;

EID: 0011837296     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00235-X     Document Type: Conference Paper

References (10)

1. P. Degano, F. Levi, C. Bodei. Safe Ambients: Control Flow Analysis and Security. In proceedings of ASIAN'00, LNCS 1961, 2000, pages 199-214.
2. C. Bodei, P. Degano, F. Nielson, and, H. R. Nielson. Static Analysis of Processes for No Read-Up and No-Write-Down. In In Proc. FoSSaCS'99, volume 1578 of Lecture Notes in Computer Science, pages 120-134, Springer-Verlag, 1999.
3. M. Bugliesi and G. Castagna. "Secure Safe Ambients". Proc. 28th ACM Symposium on Principles of Programming Languages (POPL'01), pp. 222-235, London. 2001.
4. L. Cardelli and A. Gordon. "Mobile Ambients". In Proc. FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science, pages 140-155, Springer-Verlag, 1998.
5. Focardi R., Gorrieri R. "A Classification of Security Properties for Process Algebras" Journal of Computer Security. 3:(1):1995;5-33
6. Focardi R., Gorrieri R. "The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Transactions on Software Engineering. Vol. 23:(No. 9):September 1997
7. R. Focardi, R. Gorrieri, F. Martinelli, "Information Flow Analysis in a Discrete Time Process Algebra", in Proc. of 13th IEEE Computer Security Foundations Workshop (CSFW13), (P. Syverson ed), IEEE CS Press, 170-184, 2000.
8. R. R. Hansen, J. G. Jensen, F. Nielson, and H. R. Nielson, Abstract Interpretation of Mobile Ambients. In Proc. Static Analysis Symposium SAS'99, volume 1694 of Lecture Notes in Computer Science, pages 134-148, Springer-Verlag, 1999.
9. M. Hennessy, J. Riely. "Information Flow vs. Resource Access in the Asynchronous Pi-Calculus". ICALP 2000: 415-427.
10. G. Smith, D.M. Volpano, "Secure Information Flow in a Multi-Threaded Imperative Language". In Proc. of POPL 1998: 355-364.