Formal Analysis of Role Delegation using Proxy Signature

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.