1679 search results - page 156 / 336 » Security Properties and CSP |
142
click to vote
ICDCSW
2007
IEEE
16 years 23 days ago
2007
IEEE
Today a common goal in the area of email security is to provide protection from a wide variety of threats by being more predictive instead of reactive and to identify legitimate m...
172
click to vote
CCS
2007
ACM
16 years 19 days 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...
152
click to vote
CSFW
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
176
click to vote
ICTCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
176
click to vote
INDOCRYPT
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we design several double length hash functions and study their security properties in the random oracle model. We design a class of double length hash functions (and ...