南昌工程学院学报
南昌工程學院學報
남창공정학원학보
JOURNAL OF NANCHANG INSTITUTE OF TECHNOLOGY
2009年
1期
21-24
,共4页
使用控制%可变属性%值域%有限性%检测
使用控製%可變屬性%值域%有限性%檢測
사용공제%가변속성%치역%유한성%검측
属性的可变性是使用控制模型的一个重要特征.可变属性的更新会影响或改变系统的状态和使用决策,而可变属性值域是其变化形式最直接的表现.基于此,从可变属性的值域方面分析探讨其安全问题,包括它的有限性、可被检测性及其变化粒度;同时提出相应的一些定理或规则,从而初步解决可变属性的值域安全问题.
屬性的可變性是使用控製模型的一箇重要特徵.可變屬性的更新會影響或改變繫統的狀態和使用決策,而可變屬性值域是其變化形式最直接的錶現.基于此,從可變屬性的值域方麵分析探討其安全問題,包括它的有限性、可被檢測性及其變化粒度;同時提齣相應的一些定理或規則,從而初步解決可變屬性的值域安全問題.
속성적가변성시사용공제모형적일개중요특정.가변속성적경신회영향혹개변계통적상태화사용결책,이가변속성치역시기변화형식최직접적표현.기우차,종가변속성적치역방면분석탐토기안전문제,포괄타적유한성、가피검측성급기변화립도;동시제출상응적일사정리혹규칙,종이초보해결가변속성적치역안전문제.
