Implementing security protocol monitors
Cryptographic protocols are often specified by narrations, i.e., finite sequences of message exchanges that show the intended execution of the protocol. Another use of narrations is to describe attacks. We propose in this paper to compile, when possible, attack describing narrations into a set of tests that honest participants can perform to exclude these executions. These tests can be implemented in monitors to protect existing implementation from rogue behaviour.
Tue 17 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30
|SNITCH: dynamic dependent Information flow for independent Java bytecode|
|Implementing security protocol monitors|
|On Distributed runtime verification by aggregate computing|