Buchholtz, Mikael

Gilmore, Stephen

Hillston, Jane

Nielson, Flemming

We present a federated analysis of communication protocols which considers both security properties and timing. These are not entirely independent observations of a protocol; by using timing observations of an executing protocol it is possible to deduce derived information about the nature of the communication even in the presence of unbreakable encryption. Our analysis is based on expressing the protocol as a process algebra model and deriving from this process models analysable by the Imperial PEPA Compiler and the LySatool

Online Research Database In Technology

Securing statically-verified communications protocols against timing attacks

http://orbit.dtu.dk/ws/files/2754388/imm3248.pdf

Securing statically-verified communications protocols against timing attacks

Abstract

Similar works

Full text

Available Versions

Online Research Database In Technology