A logic for reasoning about digital rights | IEEE Conference Publication | IEEE Xplore