Information leakage detection in boundary ambients

Electronic Notes in Theoretical Computer Science

Volumn 78, Issue , 2003, Pages 123-143

  Braghin, Chiara ^a   Cortesi, Agostino ^a   Focardi, Riccardo ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); INFORMATION ANALYSIS; MATHEMATICAL MODELS; PERTURBATION TECHNIQUES; PUBLIC POLICY;

ACCESS CONTROL; INFORMATION FLOW; INFORMATION LEAKAGES; MOBILE AMBIENT CALCULUS;

SECURITY OF DATA;

EID: 18944374156     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81010-7     Document Type: Conference Paper

References (27)

1. Abadi M., Gordon A.D. A Bisimulation Method for Cryptographic Protocols. Nordic Journal of Computing. 5:1998;267-303
2. Bell D.E., Padula L.J.L. "Secure Computer Systems: Unified Exposition and Multics Interpretation", ESD-TR-75-306, MITRE MTR-2997. 1976
3. Barghin C., A. Cortesi, S. Filippone, R. Focardi, F. L. Luccio and C. Piazza, BANANA, a Tool for Boundary Ambients Nesting AN Alysis, in: Proc. of The 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), 2003.
4. Barghin C., A. Cortesi and R. Focardi, Control Flow Analysis of Mobile Ambients with Security Boundaries, in: B. Jacobs and A. Rensink, editors, Proc. of Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02) (2002), pp. 197-212.
5. Braghin, C.A. Cortesi and R. Focardi, Freshness Analysis in Security Protocols, in Proc. of 14th Nordic on Programming Theory (NWPT'02), 2002, pp. 30-33.
6. Braghin C., Cortesi A., Focardi R. Security Boundaries in Mobile Ambients. Computer Languages. 28:2002;101-127
7. Braghin, C.A. Cortesi, R. Focardi and S. van Bakel, Boundary Inference for Enforcing Security Policies in Mobile Ambients, in: Proc. of The 2nd IFIP International Conference on Theoretical Computer Science (TCS'02) (2002), pp. 383-395.
8. Bugliesi M. and G. Castagna, Secure safe Ambients, in: Proc. 28th ACM Symposium on Principles of Programming (POPL'01) (2001), pp. 222-235.
9. Bugliesi M., Castagna G. Behavioural Typing of Safe Ambients. Computer Languages. 28:2002;61-99. revised and extended version of [8]
10. Bugliesi M., G. Castagna and S. Crafa, Boxed Ambients, in: Proc. of the 4th Int. Conference on Theoretical Aspects of Computer Science (TACS'01), LNCS 2215 (2001), pp. 38-63.
11. Cardelli L., G. Ghelli and A. D. Gordon, Ambient Groups and Mobility Types, in: J. van Leeuwen, O. Watanabe, M. Hagiya, P. D. Mosses and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), LNCS 1872, IFIP (2000), pp. 333-347.
12. Cardelli L. and A. D. Gordon, Mobile Ambients in: M. Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS), LNCS 1378, Springer-Verlag, Berlin, Germany, 1998 pp. 140-155.
13. Cortesi A. and R. Focardi, Information Flow Security in Mobile Ambients, in: Proc. of International Workshop on Concurrency and Coordination (ConCoord'01), Electronic Notes on Theoretical Computer Science, ENTCS 54 (2001).
14. Crafa S., Bugliesi M., Castagna G. Information Flow Security for Boxed Ambients. F-WAN: Int. Workshop on Foundations of Wide Area Networks number. 66:(3):2002;. in ENTCS
15. Degano, P., F. Levi and C. Bodei, Safe Ambients: Control Flow Analysis and Security, in: J. He and M. Sato, editors, Proc. of Advances in Computing Science-ASIAN'00 (6th Asian Computing Science Conference, Penang, Malaysia), LNCS 1961 (2000), pp. 199-214.
16. Dezani-Ciancaglini M. and I. Salvo, Security Tyes for Mobile safe Ambients, in: J. He and M. Sato, editors, Proc. of Advances in Computing Science-ASIAN'00 (6th Asian Computing Science Conference, Penang, Malaysia, LNCS 1961 (2000), pp. 215-236.
17. Focardi R., Gorriei R. A Classification of Security Properties for Process Algebras. Journal of Computer Security. 3:1995;5-33
18. Focardi R., Gorrieri R. The Compositional Security Checker: A Tool for the verification of Information Flow Security Properties. IEEE Transactions on Software Engineering. 23:1997;550-571
19. Focardi R., Gorrieri R. Classification of security properties (part i: Information flow), in: Foundations of Security Analysis and Design-Tutorial Lectures. LNCS. 2171:2001;331-396
20. Focardi R., R. Gorrieri and F. Martinelli, Information Flow Analysis in a Discrete-Time Process Algebra, in: Proc. of The 13th Computer Security Foundations Workshop (CSFW) (2000), pp. 170-184.
21. Goguen J. and J. Messenguer, Security Policies and Security Models, in: Proc. of Symposium on Security and Privacy (1992), pp. 11-20.
22. Gordon, A. D. and L. Cardelli, Equational Properties of Mobile Ambients, in: W. Thomas, editor, Proc. of the Second International Conference on Foundations of Software Science and Computation Structures (FoSSaCS '99), Held at Part of the Joint European Conferences on Theory and Practice of Software (ETAPS'99), (Amsterdam, The Netherlands, April 1999), LNCS 1578 (1999), pp. 212-226.
23. Hansen, R. R., J. G. Jensen, F. Nielson and H. R. Nielson, Abstract Interpretation of Mobile Ambients, in: Cotesi and G. File', editors, Proc. of Static Analysis Symposium (SAS'99), number 1694 in Lecture Notes in Computer Science (1999), pp. 134-148.
24. Levi F. and C. Bodei, Security Analysis for Mobile Ambients, in: Electronic Proc. of IFIP WG 1.7. Workshop on Issues on the Theory of Security (WITS'00), Geneve 2000.
25. Levi F. and D. Sangiorgi, Controlling Interference in Ambients, in: Proc. 28th ACM Symposium on Principles of Programming Languages (POPL'01), 2000, pp. 352-364.
26. Nielson F., Nielson H.R., Hankin C.L. "Principles of Program Analysis" 1999;Springer
27. Smith G. and D. Volpano, Secure Information Flow in a Multi-Threaded Imperative Language, in: Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, New York, NY 1998, PP. 355-364.