18 search results - page 1 / 4 » fsen 2007 |
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
111
click to vote
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
111
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...