1183 search results - page 25 / 237 » On flow-sensitive security types |
137
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
120
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
150
click to vote
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
129
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
156
click to vote
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...