Indexed Principal Processes for Cryptographic Protocols

• 密码协议主体角色进程表示