The Role of Abduction in Declarative Authorization Policies

Moritz Y. Becker, Sebastian Nanz

    Research output: Book/ReportReportResearch

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

    Cite this