The Role of Abduction in Declarative 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 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08)
    PublisherSpringer
    Publication date2008
    Pages84-99
    Publication statusPublished - 2008
    Event10th International Symposium on Practical Aspects of Declarative Languages - San Francisco, United States
    Duration: 7 Jan 20088 Jan 2008
    Conference number: 10

    Conference

    Conference10th International Symposium on Practical Aspects of Declarative Languages
    Number10
    Country/TerritoryUnited States
    CitySan Francisco
    Period07/01/200808/01/2008
    SeriesLecture Notes in Computer Science
    Number4902

    Cite this