1183 search results - page 10 / 237 » On flow-sensitive security types |
120
click to vote
ICUMT
2009
15 years 1 months ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...
POPL
2010
ACM
16 years 1 months ago
2010
ACM
112
click to vote
ACISP
2003
Springer
15 years 9 months ago
2003
Springer
KASUMI is a block cipher which has been adopted as a standard of 3GPP. In this paper, we study the pseudorandomness of idealized KASUMI type permutations for adaptive adversaries. ...
118
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
126
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...