Achieving information flow security through monadic control of effects (English)
- New search for: Harrison, William L.
- New search for: Hook, James
- New search for: Guttman, J.D.
- New search for: Harrison, William L.
- New search for: Hook, James
In:
Journal of Computer Security
;
17
, 5
;
599-653
;
2009
- Article (Journal) / Electronic Resource
-
Title:Achieving information flow security through monadic control of effects
-
Contributors:
-
Published in:Journal of Computer Security ; 17, 5 ; 599-653
-
Publisher:
- New search for: IOS Press
-
Place of publication:Amsterdam, The Netherlands
-
Publication date:2009-10-12
-
Size:55 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 17, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 515
-
IntroductionGuttman, Joshua D. et al. | 2009
- 517
-
Declassification: Dimensions and principlesSabelfeld, Andrei / Sands, David et al. | 2009
- 549
-
On declassification and the non-disclosure policyAlmeida Matos, Ana / Boudol, Gérard et al. | 2009
- 599
-
Achieving information flow security through monadic control of effectsHarrison, William L. / Hook, James et al. | 2009
- 655
-
Quantifying information flow with beliefsClarkson, Michael R. / Myers, Andrew C. / Schneider, Fred B. et al. | 2009
- 703
-
Polynomial runtime in simulatability definitions*Hofheinz, Dennis / Müller-Quade, Jörn / Unruh, Dominique et al. | 2009
- 737
-
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakageAdão, Pedro / Bana, Gergei / Herzog, Jonathan / Scedrov, Andre et al. | 2009
- 799
-
Planning and verifying service compositionBartoletti, Massimo / Degano, Pierpaolo / Ferrari, Gian Luigi et al. | 2009