155 search results - page 13 / 31 » Cryptographic Protocol Analysis of AN.ON |
168
click to vote
ISICT
2003
15 years 7 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
143
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
169
click to vote
ICC
2007
IEEE
16 years 9 days ago
2007
IEEE
Abstract— Internet Protocol Security (IPSec) is a widely deployed mechanism for implementing Virtual Private Networks (VPNs). In previous work, we examined the overheads incurred...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
160
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...