Obligations and Their Interaction with Programs-Reference-Cited by-同舟云学术

Obligations and Their Interaction with Programs

Published:2007 Issue: Volume: Page:375-389
ISSN:0302-9743
Container-title:Computer Security – ESORICS 2007
language:
Short-container-title:

Author:

Dougherty Daniel J.,Fisler Kathi,Krishnamurthi Shriram

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74835-9_25

Reference35 articles.

1. Moses, T.: eXtensible Access Control Markup Language (XACML) version 1.0. Technical report, OASIS (February 2003)

2. Ashley, P., Hada, S., Karjoth, G., Powers, C., Schunter, M.: Enterprise privacy authorization language (EPAL 1.2), http://www.w3.org/Submission/EPAL/

3. Garner, B.A. (ed.): Black’s Law Dictionary, 8th edn. Thomson-West Publishers (2004)

4. Minsky, N.H., Lockman, A.: Ensuring integrity by adding obligations to privileges. In: International Conference on Software Engineering, pp. 92–102 (1985)

5. Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Specifying and reasoning about dynamic access-control policies. In: International Joint Conference on Automated Reasoning, pp. 632–646 (August 2006)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proactive enforcement of provisions and obligations;Journal of Computer Security;2023-11-28

2. An Incentive Mechanism for Managing Obligation Delegation;Lecture Notes in Computer Science;2023

3. A Formal Method of Obligation Policy for Agent Interaction;Applied Mechanics and Materials;2014-06

4. Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms;Information Systems Security;2011

5. Policy Monitoring in First-Order Temporal Logic;Computer Aided Verification;2010