300 search results - page 3 / 60 » Formal Methods for Smartcard Security |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
ISSE
2010
13 years 6 months ago
2010
SFM
2010
Springer
13 years 11 months ago
2010
Springer
SFM
2010
Springer
13 years 11 months ago
2010
Springer
