Свойство безопасности данных

Задача обеспечения безопасности данных хорошо изучена и связана, например, с тем, что пользователь может забыть сохранить данные, нечаянно удалить их, отправить данные не по тому адресу и т. п. В связи с этим, ИЧМИ должен обладать свойствами, обеспечивающими информирование пользователя о всех его ошибочных действиях в процессе обработки данных. Описание свойств безопасности на языке модальной логики зависит от конкретных требований к безопасности данных.

Свойства безопасности доступа

Задача безопасности доступа также хорошо изучена. Средства ИЧМИ, базирующиеся, например, на методах биометрического контроля способны обеспечить высокий уровень безопасности доступа. Описание их на языке модальной логики требуют еще более детального описания всех процессов, которые здесь применяются.

Свойство безопасности пользователя

Обеспечение безопасности пользователя с точки зрения ИЧМИ сильно связано с конкретной областью применения ИС. Например, в медицинских ИС иногда достаточно вовремя информировать пользователя о давлении и частоте сердечных сокращений, для того чтобы предотвратить не желаемые последствия и передать эти данные на пульт скорой помощи.