New HELIC-II: a software tool for legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Journal of the ACM (JACM)
Using First-Order Logic to Reason about Policies
ACM Transactions on Information and System Security (TISSEC)
A four-layer model for security of digital rights management
Proceedings of the 8th ACM workshop on Digital rights management
A formal conceptual model for rights
Proceedings of the 8th ACM workshop on Digital rights management
Design rules for interoperable domains: controlling content dilution and content sharing
Proceedings of the 8th ACM workshop on Digital rights management
Digital rights management architectures
Computers and Electrical Engineering
On the operational semantics of rights expression languages
Proceedings of the nineth ACM workshop on Digital rights management
A sentence-matching method for automatic license identification of source code files
Proceedings of the IEEE/ACM international conference on Automated software engineering
An analysis of interoperability between licenses
Proceedings of the tenth annual ACM workshop on Digital rights management
Hi-index | 0.00 |
With recent advances in information and telecommunications technologies, a large range of digital content is distributed over the Internet. Whereas diverse licenses are provided to protect the content legally and have the advantage of offering authors many choices, the obstruction of smooth content distribution may occur if the relationships between licenses are not revealed because of differences between the restrictions imposed by each license. To activate digital content distribution, license interoperability must be revealed. In this paper, we propose a framework for formally examining license interoperability by using many-sorted first-order logic. We formalize five actual licenses and examine their interoperability to prove the effectiveness of our proposed framework. The results show that the framework reveals the relationships between licenses.