Порядок создания исполняемого файла описания модели
1. Задание модели безопасности при помощи языка описания модели в файле описания.
2. Запуск в MS-DOS служебной программы expert.ехе. Формат ввода:
Expert.Exe файл описания модели
Программа expert.exe добавляет к началу и концу файла описания модели необходимый код (рис. 1). В результате получается программа, которая автоматически компилируется средствами Си ++.
Рис. 1. Служебный код программы «Монитор безопасности» - процесс создания исполняемого файла описания модели программой expert.exe
Если во время компиляции возникают ошибки, то они выводятся на экран. Ошибки связаны только с пользовательской частью. Пользователю, создавшему файл описания не рекомендуется ориентироваться по выдаваемым номерам ошибочных строк. Они указывают на ошибку в итоговой программе, а не в файле описания модели, который заключен в программный код, а именно в код функции 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-приложений. Рекомендуется не обращать на это внимание, т.к. в это время автоматически осуществляется запуск исполняемого файла инициализации.
Учебно-методическое издание