%0 Journal Article
%T Research on dynamic expression of digital rights based on logic reasoning<br>基于逻辑推理的数字权利动态描述研究*
%A HAN Li-long
%A LIU Qing-tang
%A YANG Zong-kai
%A <br>韩立龙
%A 刘清堂
%A 杨宗凯
%J 计算机应用研究
%D 2009
%I 
%X At all times, dynamic expression of digital rights during the usage is always the focus in DRM. This paper demonstrated a kind of model in dynamic expression of digital rights based logic reasoning. After defining the relevent essential elements of this model, it deeply explored and analyzed logic reasoning process of the digital certificate in this model with Prolog. Finally,presented a pertinent application example.
%K logic reasoning
%K multiset
%K rules
%K dynamic expression<br>逻辑推理
%K 多集
%K 规则
%K 动态描述
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=125703BC139CED82B47718FFD24A55AB&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=94C357A881DFC066&sid=3A61856D91CF5877&eid=58826BCD25BE3ED6&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=8