Abstrakt. Vi föreslår ett språk som tillåter agenter att distribuera data med användningspolicyer i en decentraliserad arkitektur. I vårt ramverk upprätthålls inte efterlevnaden av användningspolicyn. Agenter får dock granskas av en myndighet vid en godtycklig tidpunkt. Vi utformar en logik som gör det möjligt för granskade agenter att bevisa sina handlingar, och att bevisa sin behörighet att inneha särskilda uppgifter. Ansvarsfullhet definieras i flera varianter, inklusive agent ansvarsskyldighet och data ansvarsskyldighet. Slutligen visar vi logikens sundhet.
Ansvarsfullhet definieras i flera varianter, inklusive agent ansvarsskyldighet och data ansvar REF.
A Logic for Auditing Accountability in Decentralized Systems
{'venue': 'Formal Aspects in Security and Trust', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Business']}