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逻辑形式化分析该协议，在理论上证明其安全性。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。
应用推荐