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

    Abstract

    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
    Pages1104-1111
    ISBN (Print)978-0-7695-3102-1
    DOIs
    Publication statusPublished - 2008
    EventThird International Conference on Availability, Reliability and Security - Barcelona, Spain
    Duration: 4 Mar 20087 Mar 2008
    Conference number: 3

    Conference

    ConferenceThird International Conference on Availability, Reliability and Security
    Number3
    Country/TerritorySpain
    CityBarcelona
    Period04/03/200807/03/2008

    Fingerprint

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

    Cite this