11 search results - page 1 / 3 » State-oriented Noninterference for CCS |
ENTCS
2007
13 years 5 months ago
2007
CCS
2006
ACM
13 years 9 months ago
2006
ACM
CCS
2011
ACM
12 years 5 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
CCS
2009
ACM
14 years 6 days ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...