Operational semantics for DKAL: Application and analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5695 LNCS, Issue , 2009, Pages 149-158

  Gurevich, Yuri ^a   Roy, Arnab ^b  

^a MICROSOFT RESEARCH   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEXITY RESULTS; DYNAMIC WORKFLOW; MICROSOFT; OPERATIONAL SEMANTICS; SAFETY PROPERTY; SEPARATION OF CONCERNS;

LINGUISTICS; MANAGEMENT;

HIGH LEVEL LANGUAGES;

EID: 70350608750     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03748-1_15     Document Type: Conference Paper

References (11)

1. Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems 15(4), 706-734 (1993)
2. Becker, M.Y., Fournet, C., Gordon, A.D.: SecPAL: Design and Semantics of a Decetralized Authorization Language. In: 20th IEEE Computer Security Foundations Symposium (CSF), pp. 3-15 (2007)
3. Blass, A., Gurevich, Y.: Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. Bulletin of the European Association for Theoretical Computer Science 95, 164-182 (2008)
4. Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proc. 1996 IEEE Symposium on Security and Privacy, pp. 164-173 (1996)
5. DeTreville, J.: Binder, a Logic-Based Security Language. In: IEEE Symposium on Security and Privacy, pp. 105-113 (2002)
6. Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: 21st IEEE Computer Security Foundations Symposium (CSF 2008), pp. 149-162 (2008)
7. Gurevich, Y., Neeman, I.: DKAL 2 - A Simplified and Improved Authorization Language. Microsoft Research Tech Report MSR-TR-2009-11 (February 2009)
8. Gurevich, Y., Roy, A.: Operational Semantics for DKAL: Application and Analysis. Microsoft Research Tech Report MSR-TR-2008-184 (December 2008)
9. Li, N.: Delegation Logic: A Logic-Based Approach to Distributed Authorization, Ph.D. thesis, New York University (September 2000)
10. Li, N., Grosof, B.N., Feigenbaum, J.: Delegation Logic: A Logic-Based Approach to Distributed Authorization. ACM Trans. on Information and System Security (TISSEC) 6(1), 128-171 (2003)
11. Li, N., Winsborough, W.H., Mitchell, J.C.: Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. In: Proceedings of 2003 IEEE Symposium on Security and Privacy, May 2003, pp. 123-139 (2003)