Decentralized robustness

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 242-253

  Chong, Stephen ^a   Myers, Andrew C ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTING SYSTEMS; DECENTRALIZED LABEL MODEL (DIM);

APPROXIMATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; INFORMATION DISSEMINATION; MODEL CHECKING; SECURITY OF DATA;

DATA PRIVACY;

EID: 33947615814     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2006.11     Document Type: Conference Paper

References (22)

1. A. Banerjee and D. A. Naumann. Using access control for secure information flow in a Java-like language. In Proc. 16th IEEE Computer Security Foundations Workshop, pages 155-169, June 2003.
2. H. Chen and S. Chong. Owned policies for information security. In Proc. 17th IEEE Computer Security Foundations Workshop, June 2004.
3. S. Chong and A. C. Myers. Language-based information erasure. In Proc. 18th IEEE Computer Security Foundations Workshop, pages 241-254, June 2005.
4. T. Chothia, D. Duggan, and J. Vitek. Type-based distributed access control. In Proc. 16th IEEE Computer Security Foundations Workshop, pages 170-186, June 2003.
5. E. S. Cohen. Information transmission in computational systems. ACM SIGOPS Operating Systems Review, 11 (5): 133-139, 1977.
6. D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Comm. of the ACM, 20(7):504-513, July 1977.
7. J. A. Goguen and J. Meseguer. Security policies and security models. In Proc. IEEE Symposium on Security and Privacy, pages 11-20, Apr. 1982.
8. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, 2nd edition, 2000. ISBN 0-201-31008-2.
9. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. In Proc. 13th ACM Symp. on Operating System Principles (SOSP), pages 165-182, October 1991.
10. Operating System Review, 253(5).
11. A. C. Myers. JFlow: Practical mostly-static information flow control. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 228-241, San Antonio, TX, Jan. 1999.
12. A. C. Myers and B. Liskov. Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology, 9(4):410-442, Oct. 2000.
13. A. C. Myers, A. Sabelfeld, and S. Zdancewic. Enforcing robust declassification. In Proc. 17th IEEE Computer Security Foundations Workshop, pages 172-186, June 2004.
14. A. C. Myers, L. Zheng, S. Zdancewic, S. Chong, and N. Nystrom. Jif: Java information flow. Software release, at http://www.cs.cornell.edu/jif, July 2001.
15. F. Pottier and S. Conchon. Information flow inference for free. In Proc. 5nd ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 46-57, 2000.
16. A. Sabelfeld and A. Myers. Language-based informationflow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, Jan. 2003.
17. A. Sabelfeld and D. Sands. Dimensions and principles of declassification. In Proc. 18th IEEE Computer Security Foundations Workshop, pages 255-269, June 2005.
18. S. Tse and S. Zdancewic. Run-time principals in information-flow type systems. In IEEE Symposium on Security and Privacy, Oakland, CA, May 2004.
19. S. Zdancewic. A type system for robust declassification. In Proceedings of the Nineteenth Conference on the Mathematical. Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, Mar. 2003.
20. S. Zdancewic and A. C. Myers. Robust declassification. In Proc. 14th IEEE Computer Security Foundations Workshop, pages 15-23, June 2001.
21. L. Zheng, S. Chong, A. C. Myers, and S. Zdancewic. Using replication and partitioning to build secure distributed systems. In Proc. IEEE Symposium on Security and Privacy, pages 236-250, Oakland, California, May 2003.
22. L. Zheng and A. C. Myers. Dynamic security labels and noninterference. In Proc. 2nd Workshop on Formal Aspects in Security and Trust, IFIP TC1 WG1.7. Springer, Aug. 2004.