403 search results - page 1 / 81 » Secure Protocols with Asymmetric Trust |
ASIACRYPT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
CSFW
2002
IEEE
13 years 9 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
FSTTCS
2009
Springer
13 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
The pervasiveness of wireless communication recently gave mobile ad hoc networks (MANET) a significant researcher's attention, due to its innate capabilities of instant commu...
INFOCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
— The establishment of shared cryptographic keys between communicating neighbor nodes in sensor networks is a challenging problem due to the unsuitability of asymmetric key crypt...