论文部分内容阅读
针对使用控制模型（UCON）中安全性异常复杂的问题，通过构造形式化模型的方法得出一些使用控制模型的安全结论，完成了关于授权中使用控制模型（UCONonA）的安全分析。针对使用控制模型中使用决策的持续性和属性易变性的特点，通过定义策略、模式和转换状态的方法给出一个形式化UCONonA模型；通过分析得出一般的UCONonA模型的安全问题是不确定的结论；通过构造一个有限状态机模拟的方法证明对于具有有限属性域和没有创建策略的UCONonA模型在安全性上是确定的。