Observation Based System Security

A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a concept of observations which make only a part of system behaviour visible. From this partial information which contains also timing of actions an intruder tries to deduce some private system activities.

• Type: Journal
• Year: 2007
• Where: FUIN
• Authors: Damas P. Gruska
• Keywords: Active Timing Attacks, Formal Model, FUIN 2007, Timed Process