Если во время компиляции возникают ошибки, то они выводятся на экран. Ошибки связаны только с пользовательской частью. Пользователю, создавшему файл описания не рекомендуется ориентироваться по выдаваемым номерам ошибочных строк. Они указывают на ошибку в итоговой программе, а не в файле описания модели, который заключен в программный код, а именно в код функции main() (рис. 1).Ряд ошибок может ссылаться на некорректно написанный код внутри функции main().
При возникновении ошибок необходимо проверить файл задания модели, а также файлы prefile и postfile с целью их исправления.
В результате компиляции получается исполняемый файл описания модели, расположенный в том же каталоге, что и оригинальный файл. Его имя совпадает с исходным файлом описания, расширение - ехе.
Приложение 4
Последовательность работы с интерфейсом «Монитора безопасности»
1. Задание модели в файле описания модели.
2. Получение исполняемого файла описания модели {при помощи программы expert.exe).
3. Далее необходимо запустить утилиту security.exe.
Данная программа работает в среде Windows. Она представляет собой интерфейс «Монитора безопасности» для исследования работы модели, определенной в файле инициализации.
Для загрузки модели безопасности пользователю необходимо выбрать пункт меню FILE\OPEN. В открывшемся окне пользователь должен выбрать ехе-файл описания модели (имеющиеся файлы security.exe и rules.exe выбирать не следует, т.к. это рабочие файлы «Монитора безопасности»).
После выбора исполняемого файла инициализации становится доступным пункт главного меню ADMINISTRATOR. При выборе этого пункта открывается окно «Administrator Console», в котором выводится информация об определенной пользователем системе: список активных и пассивных (пассивной сущностью может быть и субъект) сущностей, операций.
Для вывода атрибутов необходимо выделить сущность и нажать кнопку «Attributes», находящуюся под соответствующим списком.
Для окончания работы с интерфейсом предназначена кнопка «End work», а для возвращения к начальной конфигурации системы - «Reset» (например, пользователь может ошибочно создать другие сущности или указать неверные атрибуты).
При создании сущности пользователю предлагается выбрать ее номер из списка возможных. А при изменении атрибутов - ввести новые значения в специальном окне.
Для определения возможности доступа активной сущности к пассивной пользователю необходимо выделить активную и пассивную сущности, операцию и нажать кнопку «Send message». Результат действия выводится на экран в виде сообщения.
Для выхода из программы следует выбрать пункт меню FILE\EXIT.
В приложении реализована система помощи, доступ к которой можно получить из меню HELP.
Примечания
· в начале работы при выборе пункта главного меню ADMINISTRATOR возможно появление пустых списков сущностей. Пользователю рекомендуется нажать кнопку «Reset» в создавшемся окне. После этого списки обновятся.
· в ходе работы при выборе сущности и при посылке сообщения появляются окна DOS-приложений. Рекомендуется не обращать на это внимание, т.к. в это время автоматически осуществляется запуск исполняемого файла инициализации.
Учебно-методическое издание
ТЕОРЕТИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ
Методические указания к выполнению
лабораторных работ для студентов специальностей
090105 – «Комплексное обеспечение информационной безопасности автоматизированных систем»
очной формы обучения
Составители
ЖУКОВА Марина Николаевна
РОГОВ Сергей Викторович
Редактор ___________
Подп. в печать . Формат 60×84/16. Бумага офсетная.
Печать плоская. Усл. печ. л. 2,2. Уч.-изд. л. ___.
Тираж 30 экз. Заказ . С 64.
Санитарно-эпидемиологическое заключение
№ 24. 04.953. П.000032.01.03. от 29.01.2003 г.
Редакционно-издательский отдел Сиб. гос. аэрокосмич. ун-та.
Отпечатано в отделе копировально-множительной техники
Сиб. гос. аэрокосмич. ун-та.
660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31
1Межгосударственный стандарт ГОСТ 7.32–2001 «Отчет о научно-исследовательской работе»
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.