1183 search results - page 69 / 237 » On flow-sensitive security types |
134
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
122
Voted
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
130
click to vote
LISP
2002
15 years 4 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
155
Voted
CN
2010
15 years 2 months ago
2010
Technological evolution is leading telecommunications to all-IP networks where multiple services are transported as IP packets. Among these are the group communications services w...
181
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...