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
    CountryUnited States
    CitySan Francisco
    Period07/01/200808/01/2008
    SeriesLecture Notes in Computer Science
    Number4902

    Cite this

    Becker, M. Y., & Nanz, S. (2008). The Role of Abduction in Declarative Authorization Policies. In Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08) (pp. 84-99). Springer. Lecture Notes in Computer Science, No. 4902