3115 search results - page 175 / 623 » Synthesizing Secure Protocols |
149
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
124
click to vote
CSFW
2002
IEEE
15 years 8 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 ...
137
click to vote
TIFS
2010
15 years 2 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
153
click to vote
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
Security is a critical issue in a mobile ad hoc network (MANET). In most of the previous protocols security is an added layer above the routing protocol. We propose a TrustAware R...
189
click to vote
CAU
2004
15 years 5 months ago
2004
Protecting data is not simply a case of encrypt and forget: even data with full cryptographic confidentiality and integrity protection can still be subject to information leakage. ...