1183 search results - page 22 / 237 » On flow-sensitive security types |
145
click to vote
ICTCS
2005
Springer
15 years 10 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...
139
click to vote
DAGSTUHL
1998
15 years 5 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
117
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we will study Lee, Kim and Yoo, a verifier password typed key agreement scheme and demonstrate that the scheme is not secure. Then, the authors will propose an enha...
130
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
241
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...