Abstrakt. Vi föreslår en ram för analys av delegeringsprotokoll. Vårt ramverk gör det möjligt att analysera hur ansvarighet överförs (eller hålls) av delegator när han överför några av hennes rättigheter att delegera. Förmågan att spåra hur ansvarighet fördelas mellan huvudmän i ett system är avgörande i många transaktioner som har en l e g a l v alue, eftersom ansvarighet är vanligtvis en förutsättning för att garantera andra välkända säkerhetsegenskaper (t.ex., icke förkastande). Vår strategi utgår från begreppet "bevisbarhet" för att formalisera ansvarsskyldigheten. Sedan tar vi fram nya specifikationer för analys av delegationsprotokoll och fördelning av de referenser som krävs för att utöva de delegerade rättigheterna.
Här analyseras hur ansvaret överförs av delegeraren när han/hon överförs en del av sin rätt till delegaten REF.
Reasoning about Accountability within Delegation
{'venue': 'IN PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATIONS SECURITY', 'journal': None, 'mag_field_of_study': ['Computer Science']}