4111 search results - page 203 / 823 » Security, Protocols, and Trust |
ASIACRYPT
2008
Springer
14 years 23 days ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
CONEXT
2007
ACM
14 years 2 months ago
2007
ACM
Despite the pressing need to secure routing, none of the existing secure variants of BGP has been widely deployed. Due to the size and decentralized nature of the Internet, it bec...
CCS
2011
ACM
12 years 10 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
CONCUR
2005
Springer
14 years 4 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
ACSAC
2001
IEEE
14 years 2 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...