The Oz-E project : design guidelines for a secure multiparadigm programming language

F. Spiessens, P. Van Roy

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (Scopus)

    Samenvatting

    The design and implementation of a capability secure multi-paradigm language should be guided from its conception by proven principles of secure language design. In this position paper we present the Oz-E project, aimed at building an Oz-like secure language, named in tribute of E [MMF00] and its designers and users who contributed greatly to the ideas presented here. We synthesize the principles for secure language design from the experiences with the capability-secure languages E and the W7-kernel for Scheme 48 [Ree96]. These principles will be used as primary guidelines during the project. We propose a layered structure for Oz-E and discuss some important security concerns, without aiming for completeness at this early stage.
    Originele taal-2Engels
    TitelMultiparadigm Programming in Mozart/Oz (Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers)
    RedacteurenP. Van Roy
    UitgeverijSpringer
    Pagina's21-40
    ISBN van geprinte versie3-540-25079-4
    DOI's
    StatusGepubliceerd - 2005

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume3389
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'The Oz-E project : design guidelines for a secure multiparadigm programming language'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit