21 search results - page 3 / 5 » csfw 2009 |
168
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
123
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
93
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Multi-party contract signing protocols specify how a number of signers can cooperate in achieving a fully signed contract, even in the presence of dishonest signers. This problem h...
136
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
154
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Specification documents for real-world authentication protocols typically mandate some aspects of a protocol's behavior but leave other features optional or undefined. In add...