201 search results - page 23 / 41 » Security Properties of Typed Applets |
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
CONCUR
2000
Springer
14 years 2 days ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
OOPSLA
2001
Springer
14 years 5 days ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...