300 search results - page 4 / 60 » Formal Methods for Smartcard Security |
154
click to vote
ICIW
2007
IEEE
15 years 3 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
146
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
158
Voted
ACSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
144
Voted
ACNS
2003
Springer
15 years 8 months ago
2003
Springer
1 We describe a side-channel attack on a substitution block, which is usually implemented as a table lookup operation. In particular, we have investigated smartcard implementations...
138
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...