Research on dynamic expression of digital rights based on logic reasoning
基于逻辑推理的数字权利动态描述研究*

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.