300 search results - page 12 / 60 » Formal Methods for Smartcard Security |
83
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
150
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
134
Voted
JCP
2008
15 years 3 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
134
Voted
PDCAT
2007
Springer
15 years 9 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
138
Voted
JDCTA
2010
14 years 10 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...