FSL - Fibred Security Language

Dagstuhl Seminar Proceedings

Volumn 9121, Issue , 2009, Pages

  Genovese, Valerio ^a   Gabbay, Dov M ^b   Boella, Guido ^a   Van Der Torre, Leon ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

FREE VARIABLE; PROGRAM COMMITTEE;

EID: 84928602048     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. D. M. Gabbay, "Fibring logics," Oxford University Press, 1999.
2. M. Y. Becker, C. Fournet, and A. D. Gordon, "Design and semantics of a decentralized authorization language," in CSF. IEEE Computer Society, 2007, pp. 3-15.
3. N. Li, B. N. Grosof, and J. Feigenbaum, "Delegation logic: A logic-based approach to distributed authorization," ACM Trans. Inf. Syst. Secur., vol. 6, no. 1, pp. 128-171, 2003.
4. C. Bertolissi, M. Fernández, and S. Barker, "Dynamic event-based access control as term rewriting," in DBSec, ser. Lecture Notes in Computer Science, S. Barker and G.-J. Ahn, Eds., vol. 4602. Springer, 2007, pp. 195-210.
5. B. W. Lampson, M. Abadi, M. Burrows, and E. Wobber, "Authentication in distributed systems: Theory and practice," ACM Trans. Comput. Syst., vol. 10, no. 4, pp. 265-310, 1992.
6. M. Abadi, M. Burrows, B. W. Lampson, and G. D. Plotkin, "A calculus for access control in distributed systems," in CRYPTO, ser. Lecture Notes in Computer Science, J. Feigenbaum, Ed., vol. 576. Springer, 1991, pp. 1-23.
7. M. Abadi, "Logic in access control," in LICS. IEEE Computer Society, 2003, pp. 228-.
8. M. Abadi, "Access control in a core calculus of dependency," Electr. Notes Theor. Comput. Sci., vol. 172, pp. 5-31, 2007.
9. M. Abadi, "Variations in access control logic," in DEON, ser. Lecture Notes in Computer Science, R. van der Meyden and L. van der Torre, Eds., vol. 5076. Springer, 2008, pp. 96-109.
10. B. W. Lampson, "Computer security in the real world," IEEE Computer, vol. 37, no. 6, pp. 37-46, 2004.
11. M. D. Schroeder and J. H. Saltzer, "The protection of information in computer systems," Procs. IEEE 63, vol. 9, pp. 1278-1308, 1975.
12. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas, and T. Ylonen, "Spki certificate theory," IETF RFC 2693, 2009.
13. L. Giuri and P. Iglio, "Role templates for content-based access control," in ACM Workshop on Role-Based Access Control, 1997, pp. 153-159.
14. E. Lupu and M. Sloman, "Reconciling role based management and role based access control," in ACM Workshop on Role-Based Access Control, 1997, pp. 135-141.
15. T. Kosiyatrakul, S. Older, and S.-K. Chin, "A modal logic for role-based access control," in MMM-ACNS, ser. Lecture Notes in Computer Science, V. Gorodetsky, I. V. Kotenko, and V. A. Skormin, Eds., vol. 3685. Springer, 2005, pp. 179-193.