4111 search results - page 331 / 823 » Security, Protocols, and Trust |
187
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
182
Voted
POLICY
2007
Springer
16 years 1 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...
214
click to vote
CSFW
1995
IEEE
15 years 11 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...
147
click to vote
LREC
2010
15 years 9 months ago
2010
This paper is concerned with resources for controlled languages for alert messages and protocols in the European perspective. These resources have been produced as the outcome of ...
172
Voted
IPL
2006
15 years 7 months ago
2006
The Diffie-Hellman key agreement protocol is based on taking large powers of a generator of a prime-order cyclic group. Some generators allow faster exponentiation. We show that to...