1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
R. Corin, S. Etalle, P. H. Hartel +1
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…