TY - GEN
T1 - An interoperable usage management framework
AU - Jamkhedkar, Pramod A.
AU - Heileman, Gregory L.
AU - Lamb, Chris C.
PY - 2010
Y1 - 2010
N2 - In this paper, we describe a formal framework for usage management that provides a scaffolding upon which interoperable usage management systems can be built. We apply the principles of system design to standardize certain features of the framework, such as the operational semantics, and leave free of standards areas that necessitate choice and innovation. We demonstrate that such an approach enables us to achieve a balance of flexibility and usability for the purpose of interoperability in usage management systems. We provide a formal model that allows us to define formal semantics for interoperability.
AB - In this paper, we describe a formal framework for usage management that provides a scaffolding upon which interoperable usage management systems can be built. We apply the principles of system design to standardize certain features of the framework, such as the operational semantics, and leave free of standards areas that necessitate choice and innovation. We demonstrate that such an approach enables us to achieve a balance of flexibility and usability for the purpose of interoperability in usage management systems. We provide a formal model that allows us to define formal semantics for interoperability.
KW - access control
KW - drm
KW - formal methods
KW - interoperability
UR - http://www.scopus.com/inward/record.url?scp=78650167730&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78650167730&partnerID=8YFLogxK
U2 - 10.1145/1866870.1866885
DO - 10.1145/1866870.1866885
M3 - Conference contribution
AN - SCOPUS:78650167730
SN - 9781450300919
T3 - Proceedings of the ACM Conference on Computer and Communications Security
SP - 73
EP - 87
BT - Proceedings of the 10th Annual ACM Workshop on Digital Rights Management, DRM '10, Co-located with CCS'10
T2 - 10th Annual ACM Workshop on Digital Rights Management, DRM '10, Co-located with CCS'10
Y2 - 4 October 2010 through 8 October 2010
ER -