3504 search results - page 89 / 701 » Secure protocol composition |
117
Voted
COMCOM
2000
15 years 2 months ago
2000
Secure communication over the Internet becomes an essential requirement for any value-added Internet application. The use of cryptography for secure communication brings out the r...
120
click to vote
ACNS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new password-based 3-party protocol with a formal security proof in the standard model. Under reasonable assumptions we show that our new protocol is more efficient t...
127
Voted
JSW
2008
15 years 2 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
CEEMAS
2001
Springer
15 years 7 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
121
click to vote
ASIACRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Secure multi-party computation (MPC) allows a set of n players to securely compute an agreed function of their inputs, even when up to t players are under the control of an adversa...