Ensuring Secure Non-interference of Programs by Game Semantics

  • Aleksandar S. Dimovski
Conference paper

DOI: 10.1007/978-3-319-11851-2_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8743)
Cite this paper as:
Dimovski A.S. (2014) Ensuring Secure Non-interference of Programs by Game Semantics. In: Mauw S., Jensen C.D. (eds) Security and Trust Management. STM 2014. Lecture Notes in Computer Science, vol 8743. Springer, Cham

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Aleksandar S. Dimovski
    • 1
  1. 1.IT University of CopenhagenCopenhagen SDenmark

Personalised recommendations