DKAL: A distributed knowledge authorization language and its logic of informationдоклад на конференции