Characterizing intransitive noninterference for 3-domain security policies with observability

IEEE Transactions on Automatic Control

Volumn 50, Issue 6, 2005, Pages 920-926

  Hadj Alouane, Nejib Ben ^a   Lafrance, Stéphane ^b   Lin, Feng ^c,d   Mullins, John ^b   Yeddes, Moez ^a   Hodoshima, Jiro ^e  

^a UNIVERSITY OF MANOUBA   (Tunisia)

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

^c Wayne State University   (United States)

^d TONGJI UNIVERSITY   (China)

^e NAGOYA CITY UNIVERSITY   (Japan)

Author keywords

Cryptographic protocols; Formal verification; Intransitive noninterference; Observability; Security policies

Indexed keywords

ALGORITHMS; COMPUTER SYSTEMS; CONTROL THEORY; CRYPTOGRAPHY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; THEOREM PROVING;

CRYPTOGRAPHIC PROTOCOLS; FORMAL VERIFICATION; INTRANSITIVE NONINTERFERENCE; SECURITY POLICIES;

OBSERVABILITY;

EID: 21344432090     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2005.850643     Document Type: Article

References (20)

1. D. Bell and L. LaPadula, "Secure computer system: Unified exposition and multics interpretation," Mitre Corp., Bedford, MA, Tech. Rep. MTR-2997, Jun. 1976.
2. N. B. Hadj-Alouane, S. Lafrance, F. Lin, J. Mullins, and M. Yeddes. Characterizing intransitive noninterference in security policies with observability. [Online]. Available: www.ece.eng.wayne.edu/~flin
3. G. Boudol, "Notes on algebraic calculi of processes," in Logic and Models of Concurrent Systems, ser. NATO ASI Series F-13. New York: Springer-Verlag, 1985, pp. 261-303.
4. R. Focardi, A. Ghelli, and R. Gorrieri, "Using non interference for the analysis of security protocol," in Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997, http://citeseer.ist.psu.edu/focardi97using.html.
5. R. Focardi and R. Gorrieri, "A classification of security properties for process algebras," J. Comput. Security, vol. 3, no. 1, pp. 5-33, 1995.
6. J. Goguen and J. Meseguer, "Security policies and security models," in Proc. 1982 IEEE Symp. Research in Security and Privacy, Apr. 1982, pp. 11-20.
7. C. E. Irvine, "A multilevel file system for high assurance," in Proc. 1995 IEEE Symp. Research in Security and Privacy, Oakland, CA, May 1995, pp. 88-101.
8. F. Lin and W. M. Wonham, "On observability of discrete-event systems," Inf. Sci., vol. 44, pp. 173-198, 1988.
9. J. McLean, "A general theory of composition for a class of possibilistic properties," IEEE Trans. Software Eng., vol. 22, no. 1, pp. 53-56, Jan. 1996.
10. J. Mullins, "Nondeterministic admissible interference," J. Univ. Comput. Sci., vol. 6, no. 11, pp. 1054-1070, 2000.
11. J. Mullins and S. Lafrance, "Bisimulation-based nondeterministic admissible interference with applications to the analysis of cryptographic protocols," Int. J. Inf. Software Technol., pp. 1-25, 2002.
12. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete-event processes," in SIAM J. Control Optim., vol. 25, 1987, pp. 206-230.
13. K. Rudie and J. C. Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Autom. Control, vol. 40, no. 7, pp. 1313-1319, Jul. 1995.
14. A. W. Roscoe and M. H. Goldsmith, "What is intransitive noninterference," in Proc. 12th IEEE Computer Security Foundations Workshop, 1999, p. 228.
15. J. Rushby, "Noninterference, transitivity and channel-control security policies," SRI International, Menlo Park, CA, Tech. Rep. CSL-92-02, Dec. 1992.
16. P. Ryan and S. Schneider, "Process algebra and noninterference," in Proceedings of CSFW-12, Mordano, Italy, Jun. 1999.
17. K. Chu "Author's reply" IEEE Trans. Autom. Control, vol 47, no. 1, p. 200 Jan. 2002
18. Hodoshima, " Comments of ' Estimation and decision for linear systems with elliptical random process'", EEE Trans. Autom. Control, vol 47, no. 1, p. 200, Jan 2002.
19. K. Chu, "Estimation and decision for linear systems with elliptical random processes," IEEE Trans. Autom. Control, vol 47, no. 1, p. 200, Jan 2002.
20. T.W. Anderson, An Introduction to Multivariate Statistical Analysis, 2nd ed. New York: Wiley, 1984.