659 search results - page 90 / 132 » Compiling and securing cryptographic protocols |
163
click to vote
FORTE
2009
15 years 8 days ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
120
click to vote
CORR
2010
Springer
15 years 2 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...
115
Voted
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
CNSR
2004
IEEE
15 years 6 months ago
2004
IEEE
An ad-hoc network is formed when a group of wireless nodes pledge to help each other in passing packets based upon a pre-agreed protocol. Temporally Ordered Routing Algorithm (TOR...
146
Voted
SIGOPS
1998
15 years 2 months ago
1998
Abstract. We present a related family of authentication and digital signature protocols based on symmetric cryptographic primitives which perform substantially better than previous...