Sciweavers

99
Voted
CN
2006
117views more  CN 2006»
15 years 1 days ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance