3 citations · 4 across the 2 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…