LicenseScript: A logical language for digital rights management

被引：0
作者：
Chong, Cheun Ngen
Corin, Ricardo
Doumen, Jeroen
Etalle, Sandro
Hartel, Pieter
Law, Yee Wei
Tokmakoff, Andrew
机构：
[1] Philips Res Labs, NL-5656 AA Eindhoven, Netherlands
[2] Univ Twente, NL-7500 AE Enschede, Netherlands
[3] Riscure BV, NL-2629 HD Delft, Netherlands
[4] Inst Telemat, NL-7500 AN Enschede, Netherlands
来源：
ANNALS OF TELECOMMUNICATIONS | 2006年 / 61卷 / 3-4期
关键词：
intellectual property; literary artistic property; digital recording; copyright; PROLOG language; security; management; logical programming;
D O I：
10.1007/BF03219910
中图分类号：
TN [电子技术、通信技术];
学科分类号：
0809 ;
摘要：
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, and it is rich enough to embed other rights expression languages (REL). We show that License Script is expressive and flexible by exploring several application domains representing different aspects of DRM. We present an implementation. Finally, we extend the core of the language to account for multiple devices in authorized domains.
引用
收藏
页码：284 / 331
页数：48
相关论文
共 44 条
  • [1] REASONING ABOUT TERMINATION OF PURE PROLOG PROGRAMS
    APT, KR
    PEDRESCHI, D
    [J]. INFORMATION AND COMPUTATION, 1993, 106 (01) : 109 - 157
  • [2] APT KR, 1990, HDB THEORETICAL COMP, VB, P495
  • [3] Apt KR., 1997, From Logic Programming to Prolog. Prentice Hall International series in computer science
  • [4] BALACHEFF B, 2003, TRUSTED COMPUTING PL
  • [5] THE GAMMA MODEL AND ITS DISCIPLINE OF PROGRAMMING
    BANATRE, JP
    LEMETAYER, D
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 15 (01) : 55 - 77
  • [6] Banâtre JP, 2001, LECT NOTES COMPUT SC, V2235, P17
  • [7] BIRNEY B, 2003, MICROSOFT WINDOWS ME
  • [8] BOLEY H, 2001, LNCS, V2112, P201
  • [9] BOSSI A, 1991, LECT NOTES COMPUT SC, V494, P153
  • [10] Camp LJ, 2002, P 9 ACM C COMP COMM, P78
12345