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