Know what you trust

F. Spiessens, Jeremy den Hartog, Sandro Etalle

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    1 Downloads (Pure)


    In Decentralized Trust Management (DTM) authorization decisions are made by multiple principals who can also delegate decisions to each other. Therefore, a policy change of one principal will often affect who gets authorized by another principal. In such a system of influenceable authorization a number of principals may want to coordinate their policies to achieve long time guarantees on a set of safety goals. The problem we tackle in this paper is to find minimal restrictions to the policies of a set of principals that achieve their safety goals. This will enable building useful DTM systems that are safe by design, simply by relying on the policy restrictions of the collaborating principals. To this end we will model DTM safety problems in Scoll [1], an approach that proved useful to model confinement in object capability systems [2].
    Original languageUndefined
    Title of host publicationFormal Aspects in Security and Trust, 5th International Workshop
    EditorsP. Degano, J. D. Guttman, F. Martinelli
    Place of PublicationLondon
    Number of pages14
    ISBN (Print)978-3-642-01464-2
    Publication statusPublished - Oct 2009
    Event5th International Workshop on Formal Aspects in Security and Trust, FAST 2009 - Malaga, Spain
    Duration: 1 Oct 20091 Oct 2009

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag


    Workshop5th International Workshop on Formal Aspects in Security and Trust, FAST 2009


    • EWI-15367
    • METIS-263850
    • IR-65495
    • SCS-Cybersecurity

    Cite this