5488 search results - page 150 / 1098 » On the Secure Implementation of Security Protocols |
134
click to vote
STOC
2002
ACM
16 years 4 months ago
2002
ACM
Secure multi-party computing, also called secure function evaluation, has been extensively studied in classical cryptography. We consider the extension of this task to computation...
168
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
139
click to vote
ISW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
143
Voted
WS
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we investigate and provide solutions for security threats in the context of hybrid networks consisting of a cellular base station and mobile devices equipped with du...
105
click to vote
WECWIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper proposes the IP Multicast-enabled Drop Groups (I-DG) protocol as a solution to the problem of efficiently and securely disseminating information to a large number of s...