1183 search results - page 40 / 237 » On flow-sensitive security types |
137
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
129
Voted
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
127
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
121
click to vote
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...