5119 search results - page 382 / 1024 » Security Privacy |
165
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We study simulation relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. T...
168
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Stateful, in-depth, inline traffic analysis for intrusion detection and prevention is growing increasingly more difficult as the data rates of modern networks rise. Yet it remai...
177
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
200
click to vote
ESORICS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
175
click to vote
ESORICS
2007
Springer
16 years 29 days 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...