-57 -

2.2.Формализация задачи сопряжения. Методы сопряжения

Рассмотрим теперь задачу сопряжения схемы аутентификации с аппаратным носителем пользователя и встроенной в защищенные операционные среды или прикладные программы схемы идентификации и аутентификации по паролю.

Формализуем первоначально процесс штатной передачи параметров при аутентификации. Пусть существует субъект Saut - субъект аутентификации, принадлежащий загружаемой ОС (далее для краткости будем говорить просто об ОС, в необходимых случаях давая пояснения). Данный субъект отвечает за диалог с пользователем, результатом которого является получение имени пользователя, его символьного пароля, а также получение дополнительной информации (например, имени домена). Собственно процедура аутентификации может происходить как в Saut, так и в ином субъекте, например, может существовать субъект Srd - субъект разграничения доступа (реализующий МБО и возможно МБС), которому передается информация пользователя от субъекта аутентификации. В ряде случаев, инициируется и обратный поток. В общем случае существуют два потока Stream(Sx,Ok)->Om, где Sx - субъект, инициирующий поток от ассоциированного объекта Ok субъекта Saut к ассоциированному объекту Om субъекта Srd и поток Stream(Sx,Og)->Of, где Sx - субъект, инициирующий поток от ассоциированного объекта Og субъекта Srd к ассоциированному объекту Of субъекта Saut. Субъект Sx может быть тождественен как Saut, так и Srd. В данном случае речь идет об ассоциированных объектах-данных.

Сформулируем условия взаимной корректности взаимодействия данных субъектов.

Утверждение 2. (необходимое условие корректного взаимодействия сопрягаемых субъектов)

Необходимым условием корректности субъекта аутентификации и субъекта разграничения доступа является одновременное существование потоков:

Sx=Srd при Stream(Sx, Ok)->Om Sx=Saut при Stream(Sx, Og)->Of

(смысл условий - поток к собственным объектам инициируется самим субъектом, с которым ассоциированы объекты)

Доказательство

От противного. Пусть Sx=Saut при Stream(Sx,Ok)->Om, тогда поскольку Om - ассоциированный объект Srd и свойства потока произвольны, то потенциально нарушено условие корректности (возможно, существует поток, инициированный другим субъектом к функционально ассоциированным объектам рассматриваемого субъекта). Противоречие с условием корректности.

Аналогично для второго условия. Утверждение доказано.

Заметим также, что субъект Saut управляется пользователем (для ввода пароля) через органы управления.