49 search results - page 1 / 10 » Model-Based Testing of Cryptographic Protocols |
TGC
2005
Springer
13 years 10 months ago
2005
Springer
PKC
2005
Springer
13 years 10 months ago
2005
Springer
The Miller-Rabin pseudo primality test is widely used in cryptographic libraries, because of its apparent simplicity. But the test is not always correctly implemented. For example ...
FOSSACS
2009
Springer
14 years 1 days ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
FLAIRS
2000
13 years 6 months ago
2000
TAICPART
2010
IEEE
13 years 3 months ago
2010
IEEE
