3003 search results - page 342 / 601 » Software Security: Building Security In |
190
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
199
click to vote
ACSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
The efficiency of promptly releasing security alerts of established analysis centers has been greatly challenged by the continuous emergence of various large scale network attack...
172
click to vote
COMSWARE
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— In this paper, we propose an authentication and secure channel establishment protocol that is reliable and adaptable for multihop wireless home networks. The main idea ...
160
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
High-performance computing clusters running longlived tasks currently cannot have kernel software updates applied to them without causing system downtime. These clusters miss oppo...
148
click to vote
IMC
2006
ACM
16 years 16 days ago
2006
ACM
Remote code injection exploits inflict a significant societal cost, and an active underground economy has grown up around these continually evolving attacks. We present a method...