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