使用控制模型中可变属性的值域安全分析

来源 :南昌工程学院学报 | 被引量 : 0次 | 上传用户:spls108
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
属性的可变性是使用控制模型的一个重要特征.可变属性的更新会影响或改变系统的状态和使用决策,而可变属性值域是其变化形式最直接的表现.基于此,从可变属性的值域方面分析探讨其安全问题,包括它的有限性、可被检测性及其变化粒度;同时提出相应的一些定理或规则,从而初步解决可变属性的值域安全问题.
其他文献
高校设备采购是一项涉及多类政策法规和不同专业领域的系统工作。根据采购工作的实践经验,分析了高校设备采购不同于一般政府采购的特点,根据不同特点进行采购能使采购更加有效
本文主要对金融系统工程的定义及原则等进行了阐释,围绕金融系统工程的特点和存在的各类风险加以论述,通过归纳法总结出有关理论和解决措施,并逐一进行评价,最终介绍了风险管理领
<正>2013年的暑期,我荣幸地被长春市教育局和长春二中选聘为援疆支教的教师,于2013年8月12日带着领导、同事的嘱托,带着父母妻儿的叮咛,踏上了援疆工作的征程,来到新疆阿勒泰
隆胸隆破乳房,美容“美”成了疮疤脸,眼睛拉皮拉成了睁眼瞎……每年全国有20多万爱美的女士遭遇了美容行业温柔暴力;张爱玲说,一袭华美的袍,翻开来却满是虱子……可以说是美容业最
数学是一门推理性极强的学科,在具体教学过程中,运用数学分析不但能够提高学生对知识的掌握程度,而且能够提高学生对数学思想的理解,从而不断提高学生的数学分析能力,强化学
医院的运行成本是影响医院内涵式发展的关键因素,本文从分析武警医院成本核算管理的现状出发,围绕成本核算的各个环节,提出成本核算管理的几点建议。
基于MATLAB的绘图功能,探讨了物理中的阻尼振动、光栅衍射的光强分布、气体速率分布及势能与相对位置关系.结果表明,利用MATLAB模拟的结果可以将抽象的物理概念图像化.