Nondeterministic admissible interference

Journal of Universal Computer Science

Volumn 6, Issue 11, 2000, Pages 1054-1070

  Mullins, John ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

Confidentiality; Information flow properties; Intransitive noninterference; Noninterference; Program verification; Security models; Specification techniques

Indexed keywords

EID: 0042361083     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. [Abadi, Gordon 97] Abadi, M., and Gordon A. D.: "A calculus for cryptographic protocols: The spi calculus"; Proc. 4th ACM Conference on Computer and Communications Security (1997), 36-47. Full version available as tech. rep. 414, Univ. Cambridge Computer Lab.
2. [Bellare et al. 95] Bellare, M., Garay, J., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., and Waidner, M.: "iKP - a family of secure electronic payment protocols"; First USENIX Workshop on Electronic Commerce (1995).
3. [Cardelli, Gordon 98] Cardelli, L, Gordon, A.G.: "Mobile ambients"; In Maurice Nivat, editor, Proceedings of FoSSaCS '98, volume 1378 of LNCS, Springer (1998), 140-155.
4. [Focardi, Gorrieri 95] Focardi, R., Gorrieri, R.: "A classification of security properties for process algebras"; J. of Computer Security, 3,1 (1994/1995), 5-33.
5. [Focardi, Martinelli 99] Focardi, R., Martinelli, R.: "A uniform approach for the definition of security properties"; In J. Wing, J. Woodcock, and J. Davies, editors, FM'99-Formal Methods, volume 1708 of LNCS, Springer (1999), 794-813.
6. [Goguen, Meseguer 82] Goguen, J.A., Meseguer J.: "Security policies and security models" ; Proceedings of the IEEE Symp. on Research in Security and Privacy, IEEE Computer Society, Oakland, CA (1982), 11-20.
7. [Goguen, Meseguer 84] Goguen, J.A., Meseguer J.: "Unwinding and inference control"; Proceedings of the IEEE Symp. on Research in Security and Privacy, IEEE Computer Society, Oakland, CA (1984), 75-285.
8. [Haigh, Young 87] Haigh, J.T., Young, W.D.: "Extending the noninterference version of MLS for SAT"; IEEE Trans, on Software Engineering, 13, 2 (1987), 141-150.
9. [Hennessy 88] Hennessy, M.: "Algebraic theory of processes" ; The MIT Press (1988).
10. [Hoare 85] Hoare, C.A.R.: "Communicating sequential processes"; Prentice-Hall (1985).
11. [Hennessy, Riely 99] Hennessy, M., Riely, J.: "Type-safe execution of mobile agents in anonymous networks"; In Jan Vitek and Christian Damsgaard Jensen, editors, Proceedings of MOS '98, volume 1603 of LNCS, Springer (1999). Full version as CogSci Report 3/98, University of Sussex, Brighton.
12. [McCullough 87] McCullough, D.: "Specifications for multi-level security and hook-up property"; Proceedings of the IEEE Symp. on Research in Security and Privacy, IEEE Computer Society, Oakland, CA (1987), 161-166.
13. [McCullough 88] McCullough, D.: "Noninterference and the composability of security properties"; Proceedings of the IEEE Symp. on Research in Security and Privacy, IEEE Computer Society, Oakland, CA (1988), IEEE Computer Society.177-186.
14. [McLean 94] McLean, J.: "Security models"; In J. Marciniak, editor, Encyclopedia of Software Engineering, John Wyley & Sons (1994), 1136-1145.
15. [Milner 89] Milner, R.: "Communication and concurrency" ; Prentice-Hall (1989).
16. [Parrow et al. 93] Parrow, J., Cleaveland, R., Steffen, B.: "The concurrency workbench: a semantics based tool for the verification of concurrent processes"; ACM Transactions on Programming Languages and Systems, 15, 1 (1993), 36-72.
17. [Pinsky 95] Pinsky, S.: "Absorbing covers and intransitive non-interference"; Proceedings of the IEEE Symp. on Research in Security and Privacy, IEEE Computer Society, Oakland, CA (1995), 102-113
18. [Roscoe, Goldsmith, 99] Roscoe, A.W., Goldsmith, M.H.: "What is intransitive noninterference?" In Proceedings of the Twelfth IEEE Computer Security Foundations Workshop (CSFW-12), Mordano, Italy (1999).
19. [Ryan, Schneider 99] Ryan, P.Y.A., Schneider, S.A.: "Process algebra and noninterference"; In Proceedings of the Twelfth IEEE Computer Security Foundations Workshop (CSFW-12), Mordano, Italy (1999).
20. [Rushby 92] Rushby, J.: "Noninterference, transitivity and channel-control security policies"; Technical Report CSL-92-02, SRI International, Menlo Park CA, USA (1992).
21. [Sutherland 86] Sutherland, D.: "A model of information"; Proceedings of the IEEE Symp. on Research in Security and Privacy, IEEE Computer Society, Oakland, CA (1986), 11-20.
22. [Vitek, Castagna 99] Vitek, J., Castagna, G.: "Seal: A framework for secure mobile computation"; In H.E. Bai, B. Belkhouche, and L. Cardelli, editors, Internet Programming Languages, volume 1686 of LNCS, Springer (1999).