A Logic for Reasoning about Digital Rights.

Riccardo Pucella Vicky Weissman

Published in: CSFW (2002)

Keyphrases

digital rights
formal theory
copyright infringement
digital rights management
modal operators
logic programming
internet service providers
modal logic
real time
multimedia
mobile phone