Abstract
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interaction with a program's execution. We describe several analyses mat the model enables, both static (for verification) and dynamic (for monitoring). This includes a systematic approach to approximating obligations for enforcement. We also discuss some extensions that would enable practical policy notations. Finally, we evaluate the robustness of our model against standard definitions from jurisprudence. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Dougherty, D. J., Fisler, K., & Krishnamurthi, S. (2007). Obligations and their interaction with programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4734 LNCS, pp. 375–389). Springer Verlag. https://doi.org/10.1007/978-3-540-74835-9_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
