155 search results - page 26 / 31 » Cryptographic Protocol Analysis of AN.ON |
182
click to vote
GRC
2008
IEEE
15 years 7 months ago
2008
IEEE
—Secure multiparty computation is a very important research topic in cryptography. A secure multi-party computation involves N untrusful parties. It takes input xi from the ith p...
157
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—Neighbor discovery is a fundamental requirement and need be done frequently in underwater acoustic networks (UANs) with floating node mobility. In hostile environments, neighbo...
186
click to vote
JOC
2011
15 years 28 days ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
169
click to vote
ISPASS
2005
IEEE
15 years 11 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...
173
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— Due to the broadcast nature of radio transmissions, communications in mobile ad hoc networks (MANETs) are more susceptible to malicious traffic analysis. In this paper we prop...