This paper highlights the problem of run-time execution correctness of high consequence applications in conventional Von Neumann computer architectures. It proposes an approach - trusted objects - in which the application program and data are cryptographically encapsulated in their own environment. The remainder of this paper is organized as follows: after the authors present a description of trusted objects, their creation, and their execution, their potential applications are described. Finally, issues and problems requiring further research are discussed.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Enforced isolation processes and data


    Contributors:


    Publication date :

    2003-08-01


    Size :

    249144 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Processes and Data Enforced Isolation

    Tarman, T.D. | Online Contents | 2003


    Enforced railroad competition

    Morris, Ray | Engineering Index Backfile | 1908



    UAV-enforced insect no-fly zone

    MOITIER JEAN FRANÇOIS | European Patent Office | 2017

    Free access

    ROTOR HUB WITH ENFORCED COLLECTIVE CONING

    CHOI JOUYOUNG JASON / STAMPS FRANK B | European Patent Office | 2019

    Free access