300 search results - page 5 / 60 » Formal Methods for Smartcard Security |
79
Voted
CAISE
2006
Springer
15 years 6 days ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
60
Voted
CJ
2002
14 years 10 months ago
2002
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
73
Voted
COMCOM
1999
14 years 10 months ago
1999
98
Voted
TOPLAS
2008
14 years 10 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
97
Voted
IJNSEC
2010
14 years 5 months ago
2010
Secure networks rely upon players to maintain security and reliability. However not every player can be assumed to have total loyalty and one must use methods to uncover traitors ...