3115 search results - page 286 / 623 » Synthesizing Secure Protocols |
165
Voted
CIS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In the m-out-of-n oblivious transfer model, Alice has n messages, Bob has m choices. After the interaction between the two parties, Bob can get m but only m messages from...
198
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
146
click to vote
ACISP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we propose an optimistic two-party fair exchange protocol which does not rely on a centralized trusted third party. Instead, the fairness of the protocol re...
173
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—It is generally believed harmful to have transmission errors in the wireless communications. The high decoding complexity of dense parity check codes is unfavorable. Thi...
197
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...