Process Algebra Contexts and Security Properties

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Gruska, Damas P.

Affiliations: Institute of Informatics, Comenius University, Mlynska dolina, 842 48 Bratislava, Slovakia. gruska@fmph.uniba.sk

Note: [] Address for correspondence:

Abstract: A general framework for defining security properties is presented. It allows us to model many traditional security properties as well as to define new ones. The framework is based on process algebras contexts and processes relations. By appropriate choice of both of them we can model also probabilistic and quantified security properties.

Keywords: information flow, opacity, surprisal, uncertainty, security, quantified information flow

DOI: 10.3233/FI-2010-297

Journal: Fundamenta Informaticae, vol. 102, no. 1, pp. 63-76, 2010