119 search results - page 9 / 24 » Formal Methods for Assuring Security of Protocols |
CAV
2005
Springer
15 years 3 months ago
2005
Springer
NSPW
2006
ACM
15 years 3 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
88
Voted
JDCTA
2010
14 years 4 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...
68
Voted
ASM
2008
ASM
14 years 11 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
76
Voted
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...