Transforming processes to check and ensure information flow security

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2422, Issue , 2002, Pages 271-286

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

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

DYNAMIC CONTEXTS; INFORMATION FLOW SECURITY; OBSERVATIONAL SEMANTICS; RUNTIMES; TIME COMPLEXITY; WEAK BISIMULATION;

SECURITY OF DATA;

EID: 84944047063     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45719-4_19     Document Type: Conference Paper

References (22)

1. M. Abadi. Secrecy by Typing in Security Protocols. Journal of the ACM, 46(5): 749–786, 1999. 271
2. A. Aldini. Probabilistic information flow in a process algebra. In Proc. of the 12th International Conference on Concurrency Theory (CONCUR’01), pages 152–168. Springer LNCS 2154, August 2001. 283
3. C. Bodei, P. Degano, R. Focardi, and C. Priami. Primitives for Authentication in Process Algebras. Theoretical Computer Science, 2001. To appear. 271
4. T. Bolognesi and S. A. Smolka. Fundamental results for the verification of observational equivalence: A survey. In H. Rudin and C. H. West, editors, Prooc. of Int’l Conference on Protocol Specification, Testing and Verification (PSTV’87), pages 165–179. North-Holland, 1987. 280
5. N. A. Durgin, J. C. Mitchell, and D. Pavlovic. A Compositional Logic for Protocol Correctness. In Proc. of of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer SocietyPress, 2001. 271
6. R. Focardi and R. Gorrieri. The Compositional Security Checker: A Tool for the Verification if Information Flow Security Properties. IEEE Transactions on Software Engineering, 23(9): 550–571, 1997. 276, 277
7. R. Focardi and R. Gorrieri. Classification of Security Properties (Part I: Information Flow). In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design, volume 2171 of LNCS. Springer, 2001. 271, 272, 273, 275, 276, 277, 279, 280, 283
8. R. Focardi, R. Gorrieri, and F. Martinelli. Information-flow analysis in a discrete time process algebra. In Proc. of of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 2001. 283
9. R. Focardi, C. Piazza, and S. Rossi. Proof methods for bisimulation based information flow security. In A. Cortesi, editor, Proc. of Int. Workshop on Verification, Model Checking and Abstract Interpretation, LNCS. Springer, 2002. 272
10. R. Focardi and S. Rossi. Information flow security in dynamic contexts. In Proc. of of the 15th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 2002. 271, 272, 273, 275, 276, 277, 284
11. J. A. Goguen and J. Meseguer. Security Policy and Security Models. In Proc. of the 1982 Symposium on Security and Privacy, pages 11–20. IEEE Computer Society Press, 1982. 271, 272, 275, 284
12. Jan Jürjens. Secure information flow for concurrent processes. In Proc. of International Conference on Concurrency Theory (Concur 2000). LNCS 1877, Springer-Verlag, August 2000. 283
13. Heiko Mantel and Andrei Sabelfeld. A generic approach to the security of multithreaded programs. In Proc. of of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 2001. 271
14. D. McCullough. “A Hookup Theorem for Multilevel Security”. IEEE Transactions on Software Engineering, pages 563–568, June 1990. 271
15. J. McLean. “A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions”. In Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press, 1994. 271
16. R. Milner. Communication and Concurrency. Prentice-Hall, 1989. 273, 274, 275, 276, 283
17. L. C. Paulson. Proving Properties of Security Protocols by Induction. In Proc. of the IEEE Computer Security Foundations Workshop, pages 70–83. IEEE Computer Society Press, 1997. 271
18. Roberto Gorrieri, Riccardo Focardi and Roberto Segala. A new definition of multilevel security. In Proc. of Workshop on Issues in the Theory of Security (WITS’00), (P. Degano, ed.), July 2000. 284
19. A. Sabelfeld and D. Sands. Probabilistic Noninterference for Multi-threaded Programs. In Proc. of the IEEE Computer Security Foundations Workshop, pages 200–215. IEEE Computer Society Press, 2000. 271, 284
20. S. Schneider. Verifying Authentication Protocols in CSP. IEEE Transactions on Software Engineering, 24(9), 1998. 271
21. V. Shmatikov and J. C. Mitchell. Analysis of a Fair Exchange Protocol. In Proc. of 7th Annual Symposium on Network and Distributed System Security (NDSS 2000), pages 119–128. Internet Society, 2000. 271
22. G. Smith and D. M. Volpano. Secure Information Flow in a Multi-threaded Imperative Language. In Proc. of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL98), pages 355–364. ACM Press, 1998. 271, 284