计算机安全中的无干扰模型_图文

1、 _ 中国科技论文在线 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Goguen, J. and Meseguer, J., Inference control and unwinding, In Proceedings of the IEEE Symposium on Research in Security and Privacy, 1984, pp75-86. Guttman, J. D. and Nadal, M. E., What needs securing? Workshop, IEEE Computer

2、Society, June 1988, pp34-57. Johnson, D. and Thayer, F., Security and the composition of machines, In Proceedings of the Computer Security Foundations Workshop, IEEE Press, 1988, pp14-23. McCullough, D., Specifications for multi-level security and a hook-up property, Proceedings of the IEEE Symposiu

3、m on Research in Security and Privacy, 1987. McCullough, D., Noninterference and the composition of security properties, Proceedings of the IEEE Symposium on Research in Security and Privacy, 1988. McLean, J., Security models and information flow, Proceedings of 1990 IEEE Symposium on Research in Se

4、curity and Privacy, IEEE Press, 1990, pp177-186. Milner, R., Communication and Concurrency, Prentice-Hall 1989. Milner, R., Communicating and Mobile Systems: the Pi-Calculus, Cambridge University Press, 1999. OHalloran, C., A calculus of information flow, In Proceedings of First European Symposium o

5、n Research in Computer Security (SORICS 1990, 1990, pp147-159 Roscoe, A. W., CSP and determinism in security modeling, In Proceedings of the 1995 IEEE Symposium on Security and Privacy, IEEE Computer Society, 1995, pp114-127. Roscoe, A. W. The Theory and Practice of Concurrency, Prentice-Hall, 1997.

6、 Roscoe, A. W., Woodcock, J. C. P. and Wulf, L., Non-interference through Determinism, In Proceeding of European Symposium on Research in Computer Security 1994 (ESORICS94, LNCS, Vol.875, Springer-Verlag 1994, pp3353. Ryan, P. Y. A., A CSP formulation of non-interference and unwinding, Presented at

7、CSFW 1990 and published in Cipher, Winter 1990/1991, pp19-30. Ryan, P.Y.A., Mathematical models of computer security, In Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R. Gorrieri Eds, LNCS, Vol.2171, Springer-Verlag, 2001, pp1-62. Ryan, P. Y. A. and Schneider, S. A.

8、, Process algebra and non-interference, Journal of Computer Security, Vol.9, No.1,2, 2001, pp75-103. Schneider, S. A.， May Testing, Non-interference and Compositionality, Royal Holloway, University of London, Technical Report CSD-TR-00-02, 2001. Stirling, C., Modal and temporal logics for processes,

9、 LNCS, Vol. 1043, Springer-Verlag, 1996, pp149-237. Sutherland, D., A model of information, In Proceedings of the ninth National Computer Security Conference, 1986, pp175-183. Wittbold, J. T. and Johnson, D. M.， Information flow in nondeterministic systems, In Proceedings of the 1990 IEEE Symposium on Research on Security and Privacy 1990, p144-161. Zakinthinos, A. and Lee, S., A general theory of security properties, In Proceedings of the 1997 IEEE Symposium on Research in Securit