300 search results - page 25 / 60 » Formal Methods for Smartcard Security |
CSFW
1993
IEEE
13 years 11 months ago
1993
IEEE
Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulou...
DEXAW
2003
IEEE
14 years 27 days ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
ICDIM
2007
IEEE
14 years 1 months ago
2007
IEEE
A huge diversity of approaches is in use to deal with network security and spam in particular. In this paper, we focus on a relatively new approach whose foundations rely on the w...
ISW
2001
Springer
14 years 1 days ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
TLDI
2009
ACM
14 years 4 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...