A Logic for State-Modifying Authorization Policies

Moritz Y. Becker, Sebastian Nanz

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

    Original languageEnglish
    Title of host publicationProceedings of the 12th European Conference on Research in Computer Security (ESORICS'07)
    PublisherSpringer
    Publication date2007
    Publication statusPublished - 2007
    Event12th European Conference on Research in Computer Security (ESORICS'07) -
    Duration: 1 Jan 2007 → …

    Conference

    Conference12th European Conference on Research in Computer Security (ESORICS'07)
    Period01/01/2007 → …
    SeriesLecture Notes in Computer Science
    Number4734

    Cite this