- DKAL
-
Distributed Knowledge Authorization Language (англ. DKAL) — логический язык для описания децентрализованного взаимодействия агентов.
DKAL вобрал в себя идеи en:Datalog и en:SecPAL, но в отличии от них позволяет устранить проблему разглашения информации.
Ссылки
Категория:- Языки логического программирования
Wikimedia Foundation. 2010.