Formal Analysis of Role Delegation using Proxy Signature

Authors

Aparna Bannore
SIES Graduate School of technology, Datta Meghe college of Engineering, Mumbai
Satish Devane
SIES Graduate School of technology, Datta Meghe college of Engineering, Mumbai

Synopsis

Role delegation is a useful concept for authorizing a role an individual is carrying in organization. In [8] authors have proposed the role delegation and role forwarding operation using forward secure proxy signature scheme. The research work depicted in [7-9] majorly contributes to using forward secrecy in a novel manner for role forwarding operation. The operation of role delegation and role forwarding is required to be performed in secure manner. The paper provides the formal analysis of the protocol used for communication between the role delegating parties using BAN logic. The analysis reveals that the protocol is safe for communication.

ICICCAS20 Cover Page
Published
July 29, 2020