Проблемы математического, алгоритмического и программного обеспечения компьютерной безопасности


         

et al. Views for multilevel


23 Denning D. et al. Views for multilevel database security, IEEE Trunsaction on Software Engineering, v. SE-13, N 2, 1987, p. 129-140.

24 Denning D. et al. Multilevel Relational Data Model, Proceedings, IEEE Symposium on Privacy and Security, Oakland, CA, April 27-29, 1987, IEEE Computer Society Press, 1987, p. 220-242.

25 Goguen J. A., Meseguer J. Security Policies and Security Models. 1982 Symposium on Security and Privacy, p. 11-20, IEEE, April 1982.

26 Goguen J. A., Meseguer J. Unwinding and Inference Control. 1984, Symposium on Security and Privacy, p. 75-85, IEEE, May 1984.

27 Галатенко А. В. Об автоматной модели защищенных компьютерных систем. Интеллектуальные системы, т. 4, вып. 3-4, М.: 1999, с. 263-270.

28 Галатенко А. В. О применении методов теории вероятностей для решения задач информационной безопасности. Вопросы кибернетики. Информационная безопасность. Операционные системы реального времени. Базы данных. М.: НИИСИ РАН, 1999, с. 14-45.

29 Trusted Computer System Evaluation Criteria, US DOD 5200. 28-STD, December 1985.

30 National Computer Security Center. A Guide to Understanding Audit in Trusted Systems // NCSC-TG-001, 1987.

31 National Computer Security Center. A Guide to Understanding Audit in Trusted Systems // NCSC-TG-003, 1987.

32 National Computer Security Center. Trusted Network Interpretation // NCSC-TG-003, 1987.

33 Security Architecture for Open Systems Interconnection for CCITT Applications/ Recommendation X.800 // CCITT. Geneva, 1991.

34 Information Technology Security Evaluation Criteria (ITSEC). Harmonised Criteria of France -- Germany -- the Netherlands -- the United Kindom // Department of trade and Industry. L.: 1991.

35 Canadian Trusted Computer Product Evaluation Criteria, Version 3.0, Canadian System Security Centre, Communications Security Establishment, Government of Canada, January 1993.


Содержание  Назад  Вперед