5476 search results - page 99 / 1096 » Resettably Secure Computation |
142
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
135
click to vote
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
143
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
149
click to vote
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
147
click to vote
RAID
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....