Modelling downgrading in information flow security

Proceedings of the Computer Security Foundations Workshop

Volumn 17, Issue , 2004, Pages 187-201

  Bossi, Annalisa ^a   Piazza, Carla ^a   Rossi, Sabina ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW SECURITY; FORMAL THEORY; REAL SYSTEMS; SECURITY LEVELS;

COMPUTER SIMULATION; CRYPTOGRAPHY; PARAMETER ESTIMATION; PROBLEM SOLVING; SECURITY OF DATA; SENSITIVITY ANALYSIS;

INFORMATION ANALYSIS;

EID: 4944242009     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. M. Backes and B. Pfitzmann. Intransitive Non-Interference for cryptographic purposes. In Proc. of the IEEE Symposium on Security and Privacy (SSP'03), pages 140-152. IEEE Computer Society Press, 2003.
2. A. Bossi, R. Focardi, D. Macedonio, C. Piazza, and S. Rossi. Unwinding in Information Flow Security. Electronic Notes in Theoretical Computer Science, 2004. To appear. Available at http://www.dsiunive.it/~srossi/entcs04.ps.
3. A. Bossi, R. Focardi, C. Piazza, and S. Rossi. Refinement Operators and Information Flow Security. In Proc. of the 1st IEEE Int. Conference on Software Engineering and Formal Methods (SEFM'03), pages 44-53. IEEE Computer Society Press, 2003.
4. A. Bossi, D. Macedonio, C. Piazza, and S. Rosssi. Compositional Action Refinement and Information Flow Security. Technical Report CS-2003-13, Dipartimento di Informatica, Università Ca' Foscari di Venezia, Italy, 2003.
5. R. Focardi and R. Gorrieri. Classification of Security Properties (Part I: Information Flow). In R. Focardi and R. Gorrieri, editors, Proc. of Foundations of Security Analysis and Design (FOSAD'01), volume 2171 of LNCS, pages 331-396. Springer-Verlag, 2001.
6. R. Focardi and S. Rossi. Information Flow Security in Dynamic Contexts. In Proc. of the IEEE Computer Security Foundations Workshop (CSFW'02), pages 307-319. IEEE Computer Society Press, 2002.
7. J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proc. of the IEEE Symposium on Security and Privacy (SSP'82), pages 11-20. IEEE Computer Society Press, 1982.
8. J. A. Goguen and J. Meseguer. Unwinding and Inference Control. In Proc. of the IEEE Symposium on Security and Privacy (SSP'84), pages 75-86. IEEE Computer Society Press, 1984.
9. R. Gorrieri and A. Rensink. Action Refinement. Technical Report UBLCS-99-09, University of Bologna (Italy), 1999.
10. J. T. Haigh and W. D. Young. Extending the noninterference version of mls for sat. IEEE Transactions on Software Engineering, 13(2):141-150, 1987.
11. S. Lafrance and J. Mullins. Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science, 61:1-24, 2002.
12. G. Lowe. Quantifying Information Flow. In Proc. of the IEEE Computer Security Foundations Workshop (CSFW'02), pages 18-31. IEEE Computer Society Press, 2002.
13. H. Mantel. Information Flow Control and Applications Bridging a Gap. In Proc. of the ntemational Symposium of Formal Methods Europe (FME'01), LNCS, pages 153-172. Springer-Verlag, 2001.
14. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
15. J. Mullins. Nondeterministic Admissible Interference. Journal of Universal Computer Science, 11:1054-1070, 2000.
16. C. Piazza, E. Pivato, and S. Rossi. Cops - Checker of Persistent Security. In Proc. of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), LNCS. Springer-Verlag, 2004. To appear.
17. S. Pinsky. Absorbing Covers and Intransitive Noninterference. In Proc. of the IEEE Symposium on Security and Privacy (SSP'95), pages 102-113. IEEE Computer Society Press, 1995.
18. A. W. Roscoe and M. H. Goldsmith. What is intransitive noninterference? In Proc. of the IEEE Computer Security Foundations Workshop (CSFW'99), pages 228-238. IEEE Computer Society Press, 1999.
19. J. Rushby. Noninterference, transitivity, and channel-control security policies. Technical Report CSL-92-02, SRI International, December 1992.
20. P. Ryan and S. Schneider. Process Algebra and Noninterference. Journal of Computer Security, 9(1/2):75-103, 2001.
21. S. Zdancewic and A. C. Myers. Robust Declassification. In Proc. of the IEEE Computer Security Foundations Workshop (CSFW'01), pages 15-23. IEEE Computer Society Press, 2001.