A Logic for State-Modifying Authorization Policies

Moritz Y. Becker, Sebastian Nanz

    Research output: Book/ReportReport

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

    Cite this

    Becker, M. Y., & Nanz, S. (2007). A Logic for State-Modifying Authorization Policies. Microsoft Research. Microsoft Research Technical Reports, No. MSR-TR-2007-32