Probabilistic Information Flow Security

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: Institute of Informatics, Comenius University, Mlynska dolina, 842 48 Bratislava, Slovakia

Abstract: A formal model for description of probabilistic timing attacks is presented and studied. It is based on a probabilistic timed process algebra, on observations (mappings which make visible only a part of system behavior) and on an information flow. The resulting security properties are studied and compared with other security concepts.

Keywords: probabilistic timed process algebras, timing attacks, information flow, opacity, security

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 173-187, 2008