2846 search results - page 140 / 570 » Not one click for security |
121
click to vote
ICSM
2003
IEEE
15 years 10 months ago
2003
IEEE
Software maintainers and auditors would benefit from a tool to help them focus their attention on functions that are likely to be the source of security vulnerabilities. However,...
147
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
144
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
In the Mobile IPv6 protocol, the mobile node sends binding updates to its correspondents to inform them about its current location. It is well-known that the origin of this locati...
147
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a Secure INtrusion-Tolerant Replication Architecture1 (SINTRA) for coordination in asynchronous networks subject to Byzantine faults. SINTRA supplies a number...
149
click to vote
EUROCRYPT
1999
Springer
15 years 9 months ago
1999
Springer
Problems of secure communication and computation have been studied extensively in network models. Goldreich, Goldwasser, and Linial, Franklin and Yung, and Franklin and Wright have...