A Logic for State-Modifying Authorization Policies

Moritz Y. Becker, Sebastian Nanz

    Research output: Book/Report › Report › Research

    Original languageEnglish
    PublisherMicrosoft Research
    Publication statusPublished - 2007
    SeriesMicrosoft Research Technical Reports
    NumberMSR-TR-2007-32

    OpenUrl availability

    Full text

    Cite this