Secured Information Flow for Asynchronous Sequential Processes

Electronic Notes in Theoretical Computer Science

Volumn 180, Issue 1, 2007, Pages 17-34

  Attali, Isabelle ^a   Caromel, Denis ^a   Henrio, Ludovic ^a   Del Aguila, Felipe Luna ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

Access control; distribution; futures; objects

Indexed keywords

ACCESS CONTROL; DATA FLOW ANALYSIS; DATA PRIVACY; INTERNET; MATHEMATICAL MODELS; SEMANTICS;

ASYNCHRONOUS SEQUENTIAL PROCESSES; COMMUNICATION PATHS; DATA CONFIDENTIALITY; INFORMATION FLOW;

INFORMATION DISSEMINATION;

EID: 34249781371     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.05.045     Document Type: Article

References (25)

1. Abadi M., and Cardelli L. A Theory of Objects (1996), Springer-Verlag
2. Isabelle Attali, Denis Caromel, and Arnaud Contes. Hierarchical and declarative security for grid applications. In International Conference On High Performance Computing, HIPC, Hyderabad, India, December 17-20, Springer Verlag, 2003. Lecture Notes in Computer Science, LNCS
3. Anindya Banerjee and David A. Naumann. Using access control for secure information flow in a java-like language. In 16th IEEE Computer Security Foundations Workshop (CSFW-16), July 2003
4. David E. Bell and Leonard J. LaPadula. Secure computer system: Unified exposition and multics interpretation. Technical Report MTR-2997 Rev. 1, The MITRE Corporation, Bedford, MA, March 1976
5. Bertino E., De Capitani di Vimercati S., Ferrari E., and Samarati P. Exception-based information flow control in object-oriented systems. ACM Transactions on Information and System Security (TISSEC) 1 1 (November 1998) 26-65
6. Caromel D., and Henrio L. A Theory of Distributed Objects (2005), Springer-Verlag, New York
7. Caromel D., Henrio L., and Serpette B. Asynchronous and deterministic objects. 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 2004 (2004), ACM Press 123-134
8. Caromel D., Klauser W., and Vayssiere J. Towards seamless computing and metacomputing in java. Concurrency: Practice and Experience 10 11-13 (1998) 1043-1061
9. Agostino Cortesi and Riccardo Focardi. Information flow security in mobile ambients. In International Workshop on Concurrency and Coordination (ConCoord'01), volume 54 of Electronic Notes on Theoretical Computer Science. Elsevier, July 2001
10. Crafa S., Bugliesi M., and Castagna G. Information flow security in boxed ambients. Electronic Notes in Theoretical Computer Science 66 (2002) 3 Elsevier
11. XACML eXtensible Access Control Markup Language. http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml
12. Focardi R., and Gorrieri R. Classification of security properties (part i: Information flow). Foundations of Security Analysis and Design (FOSAD 2000) - Tutorial Lectures. Lecture Notes in Computer Science volume 2171 (2001), Springer-Verlag 331-396
13. Matthew Hennessy. The security picalculus and non-interference. Journal of Logic and Algebraic Programming, 2003. To Appear
14. Matthew Hennessy and James Riely. Information flow vs. resource access in the asynchronous pi-calculus. Computer Science Technical Report 2000:03, The University of Sussex, 2000
15. Peter Herrmann. Information flow analysis of component-structured applications. In 17th Annual Computer Security Applications Conference. The Applied Computer Security Associates (ACSA), 2001
16. Honda K., Vasconcelos V., and Yoshida N. Secure information flow as typed process behaviour. Programming Languages and Systems. Lecture Notes in Computer Science volume 1782 (2000), Springer-Verlag
17. Jajodia S., Kogan B., and Sandhu R.S. A multilevel secure object-oriented data model. In: Abrams M.D., Jajodia S., and Podell H.J. (Eds). Information Security: An Integrated Collection of Essays (1995), IEEE Computer Society Press 596-616
18. Milner R. Communicating and Mobile Systems: the π-Calculus (May 1999)
19. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, part I/II. 100:1-77, September 1992
20. Andrew C. Myers. Jflow: Practical mostly-static information flow control. In 26th ACM Symposium on Principles of Programming Languages (POPL 99), pages 228-241. ACM Press, January 1999
21. ProActive. http://www-sop.inria.fr/oasis/proactive/
22. Sabelfeld A. The impact of synchronisation on secure information flow in concurrent programs. 4th International Conference on Perspectives of System Informatics. Lecture Notes in Computer Science volume 2244 (July 2001), Springer-Verlag
23. Samarati P., Bertino E., Ciampichetti A., and Jajodia S. Information flow control in object-oriented systems. IEEE Transactions on Knowledge and Data Engineering 9 4 (July-August 1997) 524-538
24. Samarati P., and De Capitani Di Vimercati S. Access control: Policies, models, and mechanisms. Foundations of Security Analysis and Design : Tutorial Lectures. Lecture Notes in Computer Science volume 2171 (2001), Springer-Verlag 137
25. Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In 18th ACM Symposium on Operating System Principles (SOSP '01), volume 35, pages 1-14. ACM Press, October 2001