Ensuring Secure Non-interference of Programs by Game Semantics

Aleksandar Dimovski

    Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftPaperForskningpeer review

    Abstract

    Non-interference is a security property which states that improper information leakages due to direct and indirect flows have not occurred through executing programs. In this paper we investigate a game semantics based formulation of
    non-interference that allows to perform a security analysis of closed and open procedural programs. We show that such formulation is amenable to automated verification techniques. The practicality of this method is illustrated by several examples, which also emphasize its advantage compared to known operational methods for reasoning about open programs.
    OriginalsprogEngelsk
    Publikationsdato15 sep. 2014
    Antal sider16
    DOI
    StatusUdgivet - 15 sep. 2014
    BegivenhedInternational Workshop on Security and Trust Management - University of Wroclaw, Wroclaw, Polen
    Varighed: 10 sep. 201411 sep. 2014
    Konferencens nummer: 10
    http://stm14.uni.lu/

    Workshop

    WorkshopInternational Workshop on Security and Trust Management
    Nummer10
    LokationUniversity of Wroclaw
    Land/OmrådePolen
    ByWroclaw
    Periode10/09/201411/09/2014
    Internetadresse

    Emneord

    • Language-based Security
    • Algorithmic Game Semantics
    • Verification of Non-interference

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Ensuring Secure Non-interference of Programs by Game Semantics'. Sammen danner de et unikt fingeraftryk.

    Citationsformater