1599 search results - page 245 / 320 » Program Analysis for Security and Privacy |
110
click to vote
AGENTS
1999
Springer
15 years 4 months ago
1999
Springer
Increasingly, multi-agent systems are being designed for a variety of complex, dynamic domains. E ective agent interactions in such domains raise some of most fundamental research...
134
click to vote
SP
1997
IEEE
15 years 4 months ago
1997
IEEE
Onion Routing is an infrastructure for private communication over a public network. It provides anonymous connections that are strongly resistant to both eavesdropping and tra c a...
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
An adaptive recommendation service seeks to adapt to its users, providing increasingly personalized recommendations over time. In this paper we introduce the \Fab" adaptive W...
ESORICS
1994
Springer
15 years 4 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
103
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...