1599 search results - page 48 / 320 » Program Analysis for Security and Privacy |
136
click to vote
OOPSLA
1993
Springer
15 years 6 months ago
1993
Springer
A key mechanism of a persistent programming language is its ability to detect and handle references to non-resident objects. Ideally, this mechanism should be hidden from the prog...
104
Voted
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
138
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
We consider the problem of offloading secure access-controlled content from central origin servers to distributed caches so clients can access a proximal cache rather than the orig...
118
click to vote
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present PEAT: The Portable Executable Analysis Toolkit. It is a software prototype designed to provide a selection of tools that an analyst may use in order to ex...
122
Voted
MONET
2010
15 years 11 days ago
2010
It is well recognized that security is vital for reliable operation of vehicular ad-hoc networks (VANETs). Location privacy is one of the main security challenges in VANETs, which ...