There should be a formal process that includes a security review that determines what permissions an application will be allowed.
应该配备正式的流程，其中应包含安全复查，以确定应用程序将被允许使用哪些权限。
Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
After setting up the idealized protocol model, a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.
通过建立协议的理想化模型，利用BAN逻辑形式化分析该协议，在理论上证明其安全性。
应用推荐