简答题

试述状态机模型的开发步骤

正确答案

一般构造状态机模型需要如下步骤:
①定义状态变量。定义与安全有关的状态变量,主要是系统的主体、客体、安全属性及主体对客体的访问权等。
②定义安全状态。是根据系统的安全策略,抽象为安全性质。
③定义状态转换函数。定义状态转换函数或操作规则,定义安全操作执行前后状态变量的变化状态。
④证明转换函数是否可保证安全状态,要求每个转换函数应该达到在如下要求,即某操作之前系统处于安全状态,操作完成后,系统仍处于安全状态。
⑤定义并证明初始状态。这一步在定义了系统的状态变量后,为每一个状态变量选择一个初始值,并证明初始状态是安全的。

答案解析

相似试题
  • 试述面向对象开发方法的基本思想和步骤。

    简答题查看答案

  • UML行为模型的状态图是以状态机模型的方式进行的用例实现。状态图只能用来实现单个用例。

    判断题查看答案

  • 螺旋模型将开发过程分为几个螺旋周期。在每个螺旋周期内分为四个工作步骤:()、()、开发实施、()。

    填空题查看答案

  • 绘制状态机图的常用的步骤是什么?请简要说明。

    简答题查看答案

  • 状态图和活动图建立了UML面向对象开发过程中的对象动态()模型。

    单选题查看答案

  • 面向对象开发方法定义了三种模型来描述系统,()可以用状态图来表示。

    单选题查看答案

  • 软件的开发模式有瀑布模型、喷泉模型、基于构件的开发模型和()方法。

    填空题查看答案

  • 建立实体--联系模型(E-R模型)的首要步骤是()

    单选题查看答案

  • 在快速原型模型的开发过程中,用原型过程来代替全部开发阶段所用模型是()模型。

    单选题查看答案