Wyniki wyszukiwania - BazTech

Ograniczanie wyników

3 Fundamenta Informaticae

3 Gruska D.P.

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: timing attack

Sortuj według:

Ogranicz wyniki do:

Probabilistic Information Flow Security

Gruska D.P.

Fundamenta Informaticae

2008

Vol. 85, nr 1-4

173-187

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.

Observation Based System Security

Gruska D.P.

Fundamenta Informaticae

2007

Vol. 79, nr 3-4

335-346

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.

Network Information Flow

Gruska D.P.

Fundamenta Informaticae

2006

Vol. 72, nr 1-3

167-180

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.