Network Information Flow

Issue title: SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28–30 September 2005

Article type: Research Article

Authors: Gruska, Damas P.

Affiliations: Institute of Informatics Comenius University Mlynska dolina, 842 48 Bratislava, Slovakia. E-mail: [email protected]

Abstract: A formal model for an analysis of an information flow in interconnection networks is presented. It is based on timed process algebra which can express also network properties. The information flow is based on a concept of deducibility on composition. Robustness of systems against network timing attacks is defined. A variety of different security properties which reflect different security requirements are defined and investigated.

Keywords: security, information flow, timing attack, interconnection network

Journal: Fundamenta Informaticae, vol. 72, no. 1-3, pp. 167-180, 2006