An improved formal requirements language of security protocol

• 一种改进的安全协议形式化需求语言