3504 search results - page 361 / 701 » Secure protocol composition |
177
click to vote
FOCS
2006
IEEE
16 years 23 days ago
2006
IEEE
We consider the problems of Byzantine Agreement and Leader Election, where a constant fraction b < 1/3 of processors are controlled by a malicious adversary. The first problem...
171
click to vote
ISSA
2004
15 years 8 months ago
2004
This paper argues that powerful impetus exists for the realisation of a global multilateral electronic market infrastructure, as envisaged by the ebXML1 endeavour. Crucial in this...
204
click to vote
JOC
2007
15 years 6 months ago
2007
This paper is about the Oblivious Transfer in the distributed model proposed by M. Naor and B. Pinkas. In this setting a Sender has n secrets and a Receiver is interested in one o...
197
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—EMV is the dominant protocol used for smart card payments worldwide, with over 730 million cards in circulation. Known to bank customers as “Chip and PIN”, it is used in Eur...
205
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...