A Logic Update Language with Active Rules for Reasoning about Digital Rights

Abstract

We propose LucScript as a new logic based language for expressing digital rights, which bases on a logic update language with active rules so that the rights model can show an active adapting ability to the environments and get a continuous authorization procedure during the whole period of operations. The syntax and semantics of the language are illuminated by the paper. And the authorization procedure and management mechanisms of the language are analyzed and explained. Finally, an implementation model of the language is presented.