Static validation of licence conformance policies

Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to validate a number of more classical security policies, such as discretionary and mandatory access control policies, as well as communication protocols using symmetric and asymmetric cryptography. In this work we show how to develop a Flow Logic for validating the conformance of client software with respect to a licence conformance policy. Our approach is sufficiently flexible that it extends to fully open systems that can admit new services on the fly.
    Original languageEnglish
    Title of host publicationProceedings of the 3rd International Conference on Availability, Reliability, and Security
    PublisherIEEE Computer Society Press
    Publication date2008
    ISBN (Print)978-0-7695-3102-1
    Publication statusPublished - 2008
    EventThird International Conference on Availability, Reliability and Security - Barcelona, Spain
    Duration: 4 Mar 20087 Mar 2008
    Conference number: 3


    ConferenceThird International Conference on Availability, Reliability and Security


    Dive into the research topics of 'Static validation of licence conformance policies'. Together they form a unique fingerprint.

    Cite this