Secrecy by typing and file-access control

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 112-123

  Chaudhuri, Avik ^a   Abadi, Martín ^a,b  

^a University of California Santa Cruz   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC CHECK; FILE ACCESS CONTROL; FILE SYSTEM;

ACCESS CONTROL; COMPUTATIONAL METHODS; DIFFERENTIATION (CALCULUS); FILE ORGANIZATION; LOGIC DESIGN; SECURITY OF DATA;

DATA PRIVACY;

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

References (17)

1. M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 46(5):749-786, 1999.
2. M. Abadi and B. Blanchet. Secrecy types for asymmetric communication. Theoretical Computer Science, 298(3):387-415, 2003.
3. A. Banerjee and D. Naumann. Using access control for secure information flow in a Java-like language. In IEEE Computer Security Foundations Workshop (CSFW), pages 155-169, 2003.
4. C. Braghin, D. Gorla, and V. Sassone. A distributed calculus for role-based access control. In IEEE Computer Security Foundations Workshop (CSFW), pages 48-60, 2004.
5. M. Bugliesi, G. Castagna, and S. Crafa. Access control for mobile agents: The calculus of boxed ambients. ACM Transactions on Programming Languages and Systems, 26(1):57-124, 2004.
6. M. Bugliesi, D. Colazzo, and S. Crafa. Type based discretionary access control. In International Conference on Concurrency Theory (CONCUR), pages 225-239. Springer LNCS, 2004.
7. L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. Information and Computation, 196(2):127-155, 2005.
8. A. Chaudhuri and M. Abadi. Formal security analysis of basic network-attached storage. In ACM Workshop on Formal Methods in Security Engineering (FMSE), pages 43-52, 2005.
9. R. de Nicola, G. L. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
10. C. Fournet, A. D. Gordon, and S. Maffeis. A type discipline for authorization policies. In European Symposium on Programming (ESOP), pages 141-156. Springer LNCS, 2005.
11. H. Gobioff. Security for a High Performance Commodity Storage Subsystem. PhD thesis, Carnegie Mellon University, 1999.
12. A. D. Gordon and A. Jeffrey. Typing correspondence assertions for communication protocols. Theoretical Computer Science, 300(1-3):379-409, 2003.
13. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. In High-Level Concurrent Languages (HLCL), pages 3-17. Elsevier Science Publishers, 1998.
14. Z. D. Kirli. Confined mobile functions. In IEEE Computer Security Foundations Workshop (CSFW), pages 283-294, 2001.
15. E. L. Miller, D. D. E. Long, W. E. Freeman, and B. Reed. Strong security for network-attached storage. In Conference on File and Storage Technologies (FAST), pages 1-13. USENIX Association, 2002.
16. R. D. Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for access control. Theoretical Computer Science, 240(1):215-254, 2000.
17. F. Pottier, C. Skalka, and S. Smith. A systematic approach to static access control. ACM Transactions on Programming Languages and Systems, 27(2):344-382, 2005.