Restricted delegation and revocation in language-based security (Position paper)

D. Hassan, M.R. Mousavi, M.A. Reniers

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)


    In this paper, we introduce a notion of restricted revocable delegation and study its consequences in language-based security. In particular, we add this notion by means of delegate and revoke commands to a simple imperative programming language. We then define an operational semantics for our programming language, in the Natural Semantics style of Gilles Kahn. We briefly discuss our initial ideas about the security properties of the semantics, which are extensions of existing variations of the renowned non-interference property, e.g., in the context of delimited information release.
    Originele taal-2Engels
    TitelProceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2010, Toronto, Canada, June 10, 2010)
    Plaats van productieNew York NY
    UitgeverijAssociation for Computing Machinery, Inc
    ISBN van geprinte versie978-1-60558-827-8
    StatusGepubliceerd - 2010


    Duik in de onderzoeksthema's van 'Restricted delegation and revocation in language-based security (Position paper)'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit