1183 search results - page 18 / 237 » On flow-sensitive security types |
155
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
123
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
156
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We present Mixminion, a message-based anonymous remailer protocol with secure single-use reply blocks. Mix nodes cannot distinguish Mixminion forward messages from reply messages,...
146
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
137
click to vote
OOPSLA
1990
Springer
15 years 8 months ago
1990
Springer
Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...