Evidential authorization

The Future of Software Engineering

Volumn , Issue , 2011, Pages 73-99

  Blass, Andreas ^a   Gurevich, Yuri ^b   Moskal, Michał ^b   Neeman, Itay ^c  

^a UNIVERSITY OF MICHIGAN   (United States)

^b MICROSOFT RESEARCH   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

access control; authorization; distributed knowledge; evidential; justification; logic level communication

Indexed keywords

EID: 84856523467     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-642-15187-3_5     Document Type: Chapter

References (20)

1. Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A Calculus for Access Control in Distributed Systems. ACM Trans. on Programming Languages and Systems, 15:4, 706-734 (1993)
2. Aikhenvald, A. Y.: Evidentiality. Oxford University Press (2004)
3. Appel, A. W., Felten, E. W.: Proof-Carrying Authentication. In: 6th ACM Conference on Computer and Communications Security, 52-62 (1999)
4. Becker, M. Y.: Specification and Analysis of Dynamic Authorisation Policies. In: 22nd IEEE Computer Security Foundations Symposium, 203-217 (2009)
5. Becker, M. Y., Fournet, C., Gordon, A. D.: SecPAL: Design and Semantics of a Decentralized Authorization Language. Journal of Computer Security 18:4, 597-643 (2010)
6. Beklemishev, L., Gurevich, Y.: Infon Logic (tentative title). In preparation
7. Blass, A., Gurevich, Y.: Hilbertian Deductive Systems and Horn Formulas (tentative title). In preparation
8. DeTreville, J.: Binder, a Logic-Based Security Language. In: IEEE Symposium on Security and Privacy, 105-113, (2002)
9. DKAL at CodePlex. http://dkal.codeplex.com/, viewed July 6, 2010.
10. Shayne Cox Gad (ed.): Clinical Trials Handbook. Wiley (2009)
11. Gurevich, Y.: Evolving Algebra 1993: Lipari Guide. In: Specification and Validation Methods, Oxford University Press, 9-36 (1995)
12. Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: 21st IEEE Computer Security Foundations Symposium, 149-162 (2008)
13. Gurevich, Y., Neeman, I.: Logic of Infons: The Propositional Case. ACM Trans. on Computational Logic, to appear. See http://tocl.acm.org/accepted.html.
14. Gurevich, Y., Neeman, I.: DKAL 2 - A Simplified and Improved Authorization Language. Microsoft Research Technical Report MSR-TR-2009-11 (2009)
15. Gurevich, Y., Roy, A.: Operational Semantics for DKAL: Application and Analysis. In: 6th International Conference on Trust, Privacy and Security in Digital Business, Springer LNCS 5695, 149-158 (2009)
16. Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Theoretical Computer Science 343:3, 370-412 (2005)
17. Lampson, B., Abadi, M., Burrows, M., Wobber, E. P.: Authentication in Distributed Systems: Theory and Practice. ACM Trans. on Computer Systems 10:4, 265-310 (1992)
18. Spec Explorer: Development http://msdn. microsoft.com/en-us/devlabs/ ee692301.aspx and research http://research.microsoft.com/en-us/projects/ specexplorer/, viewed July 6, 2010
19. TSCP: Transglobal Secure Collaboration Program, http://tscp.org/, viewed July 6, 2010
20. XACML: Extensible Access Control Markup Language, http://xml.coverpages. org/xacml.html, viewed July 6, 2010