429 search results - page 20 / 86 » Compositionality of Secure Information Flow |
ESOP
2001
Springer
14 years 14 days ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
JCS
2007
13 years 7 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
IFIP
2009
Springer
14 years 17 days ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
ISCA
2007
IEEE
14 years 2 months ago
2007
IEEE
FCT
2005
Springer
14 years 1 months ago
2005
Springer
