5255 search results - page 503 / 1051 » Formal Methods for Privacy |
190
click to vote
ACSAC
2005
IEEE
16 years 20 days ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
191
click to vote
CCS
2005
ACM
16 years 17 days ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
199
click to vote
CCS
2005
ACM
16 years 17 days ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
226
click to vote
CCS
2005
ACM
16 years 17 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
173
click to vote
ESORICS
2005
Springer
16 years 16 days ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...