Firstly, logic SVO is applied to formally describe the security requirements of protocol SE-AKA.

• 首先用SVO逻辑对协议的安全需求进行了形式化描述。