Timed analysis of security protocols
Ricardo Corin, Sandro Etalle, Pieter Hartel, Angelika Mader · Journal of Computer Security · 2007
We propose a method for engineering security protocols that are aware of timing aspects. We study a simplified version of the well-known Needham Schroeder protocol and the complete Yahalom protocol, where timing information allows the study of differ