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

• 本文基于有限状态机（FSM）的理论，结合通信顺序进程（CSP）的概念，提出了一种开发安全模型的形式化方法。