作者：
出版社： 武汉大学出版社
CIP号：2016311748
书号：978-7-307-19002-3
出版地：武汉
出版时间：2016.12
定价：￥25
目前，数字权利描述主要由基于XML的权利描述语言（Rights Expression Language,REL）来实现。但是已有的REL（eXtensive Right Markup Language,XrML和Open Digital Rights Language,ODRL）缺乏形式语义，只能依赖语法和直观语义来描述静态的数字权利。本书根据目前数字权利描述的研究现状，采用逻辑推理的方法，提出全新的数字逻辑证书，深入探讨数字逻辑证书的逻辑推理机制，自动的完成数字权利动态描述。