A type discipline for authorization policies

Lecture Notes in Computer Science

Volumn 3444, Issue , 2005, Pages 141-156

  Fournet, Cédric ^a   Gordon, Andrew D ^a   Maffeis, Sergio ^a,b  

^a MICROSOFT RESEARCH   (United States)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; LOGIC PROGRAMMING; QUERY LANGUAGES; SECURITY OF DATA;

AUTHORIZATION POLICIES; ENCRYPTED COMMUNICATIONS; LOGIC PROGRAMS; SPI CALCULUS;

CRYPTOGRAPHY;

EID: 24644447402     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31987-0_11     Document Type: Conference Paper

References (24)

1. M. Abadi. On SDSI's linked local name spaces. J. Computer Security, 6(1-2):3-21, 1998.
2. M. Abadi. Secrecy by typing in security protocols. J. ACM, 46(5):749-786, Sept. 1999.
3. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148:1-70, 1999.
4. M. Y. Becker and P. Sewell. Cassandra: flexible trust management, applied to electronic health records. In 17th IEEE Computer Security Foundations Workshop (CSFW'04), pages 139-154, June 2004.
5. B. Blanchet. From secrecy to authenticity in security protocols. In 9th International Static Analysis Symposium (SAS'02), volume 2477 of LNCS, pages 342-359. Springer, 2002.
6. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In IEEE 17th Symposium on Research in Security and Privacy, pages 164-173, 1996.
7. C. Braghin, D. Gorla, and V. Sassone. A distributed calculus for role-based access control. In 17th IEEE Computer Security Foundations Workshop (CSFW'04), pages 48-60, June 2004.
8. M. Bugliesi, G. Castagna, and S. Crafa. Access control for mobile agents: the calculus of boxed ambients. ACM TOPLAS, 26(1):57-124, Jan. 2004.
9. M. Bugliesi, D. Colazzo, and S. Crafa. Type based discretionary access control. In CONCUR'04 - Concurrency Theory, volume 3170 of LNCS, pages 225-239. Springer, Sept. 2004.
10. S. Ceri, G. Gottlob, and L. Tanca. What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering, 1(1): 146-166, 1989.
11. ContentGuard. XrML 2.0 Technical Overview, http://www.xrml.org/, Mar. 2002.
12. J. DeTreville. Binder, a logic-based security language. In IEEE Computer Society Symposium on Research in Security and Privacy, pages 105-113, 2002.
13. D. Dolev and A. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, IT-29(2): 198-208, 1983.
14. C. Fournet, A. D. Gordon, and S. Maffeis. A type discipline for authorization policies. Technical Report MSR-TR-2005-01, Microsoft Research, 2005.
15. A.D. Gordon and A. Jeffrey. Typing one-to-one and one-to-many correspondences in security protocols. In Software Security - Theories and Systems, volume 2609 of LNCS, pages 270-282. Springer, 2002.
16. A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. J. Computer Security, 11(4):451-521, 2003.
17. A. D. Gordon and A. Jeffrey. Typing correspondence assertions for communication protocols. Theoretical Comput. Sci., 300:379-409, 2003.
18. D. P. Guelev, M. D. Ryan, and P.-Y. Schobbens. Model-checking access control policies. In Seventh Information Security Conference (ISC'04), volume 3225 of LNCS. Springer, 2004.
19. J. D. Guttman, F. J. Thayer, J. A. Carlson, J. C. Herzog, J. D. Ramsdell, and B. T. Sniffen. Trust management in strand spaces: a rely-guarantee method. In 13th European Symposium on Programming (ESOP'04), volume 2986 of LNCS, pages 340-354. Springer, 2004.
20. T. Jim. SD3: a trust management system with certified evaluation. In IEEE Computer Society Symposium on Research in Security and Privacy, pages 106-115, 2001.
21. N. Li and J. C. Mitchell. Understanding SPKI/SDSI using first-order logic. In Proceedings of the 16th IEEE Computer Security Foundation Workshop (CSFW'03), pages 89-103, 2003.
22. A. C. Myers and B. Liskov. Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology, 9(4) :410-442, 2000.
23. R. D. Nicola, G. Ferrari, and R. Pugliese. Programming access control: The KLAIM experience. In CONCUR 2000, volume 1877 of LNCS, pages 48-65. Springer, 2000.
24. T. Woo and S. Lam. A semantic model for authentication protocols. In IEEE Computer Society Symposium on Research in Security and Privacy, pages 178-194, 1993.