1183 search results - page 11 / 237 » On flow-sensitive security types |
120
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
133
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
146
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
156
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
EDO
2005
Springer
15 years 9 months ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...