3115 search results - page 172 / 623 » Synthesizing Secure Protocols |
136
click to vote
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
Password-based protocols for authenticated key exchange (AKE) are designed to work despite the use of passwords drawn from a space so small that an adversary might well enumerate, ...
132
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...
116
click to vote
AINA
2005
IEEE
15 years 9 months ago
2005
IEEE
IPSec (IP Security) and SSL (Secure Socket Layer) have been the most robust and most potential tools available for securing communications over the Internet. Both IPSec and SSL ha...
124
click to vote
POLICY
2007
Springer
15 years 10 months ago
2007
Springer
The process of policy reconciliation allows multiple parties with possibly different policies to resolve differences in order to reach an agreement on an acceptable policy. Previo...
165
click to vote
CSFW
1995
IEEE
15 years 7 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...