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).

形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。

youdao

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).

形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。

youdao