首页> 中文期刊> 《软件学报》 >安全性质的可结合性

安全性质的可结合性

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

安全系统是由许多子系统组成,每一子系统都必须满足一定的安全性质,但这不能保证由这些子系统组合而成的系统也是安全的,即组合的系统不一定也满足给定的安全性质,所以要求系统的安全性质满足可结合性.该文介绍了一种新的基于无干扰概念的多级安全性质,并证明了它是可结合的.

著录项

来源
《软件学报》 |1998年第9期|718|共1页
作者
余祥宣; 马建平; 张江陵;
展开▼
作者单位

华中理工大学计算机科学与工程系;

武汉;

430074;

华中理工大学计算机科学与工程系;

武汉;

430074;

华中理工大学计算机科学与工程系;

武汉;

430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
安全性质; 可结合性; 无干扰; 多级安全;

相似文献

中文文献
外文文献
专利

1. 基于双十二烷基二甲基溴化铵、琼脂糖修饰电极的中心蛋白金属结合性质研究 [J] . 荣志江 ,孙红艳 ,杨艳 . 河南师范大学学报：自然科学版 . 2021,第1期
2. 3-乙基-2-乙酰吡嗪缩N(4)-(对甲苯)氨基硫脲Ga(Ⅲ)、In(Ⅲ)配合物的合成、晶体结构和DNA结合性质 [J] . 薛文招 ,赵晓雷 ,闫雪雪 . 无机化学学报 . 2019,第004期
3. 吡嗪酰腙配体Cu(Ⅱ)/Ni(Ⅱ)配合物的合成、晶体结构及DNA结合性质 [J] . 王碗碗 ,王元 ,张玲 . 无机化学学报 . 2019,第003期
4. 3-乙基-2-乙酰吡嗪缩4-甲基氨基硫脲Cu(Ⅱ)配合物的合成、结构和DNA结合性质 [J] . 吕目轩 ,卞琳艳 ,李梦茹 . 无机化学学报 . 2019,第008期
5. 3-乙基-2-乙酰吡嗪缩4-苯基氨基脲Ag(Ⅰ)配合物的合成、结构和DNA结合性质 [J] . 吴浩 ,王元 ,张玲 . 无机化学学报 . 2018,第006期
6. 8-羟基喹啉-2-甲醛缩芳香酰肼La(Ⅲ)配合物:抗氧化性和DNA结合性质 [C] . LIU Yong-chun ,刘永春 ,Xiu-ying . 甘肃省化学会第二十八届年会暨第十届中学化学教学经验交流会 . 2013
7. 基于蒽基团的脲类受体的合成及阴离子结合性质研究 [A] . 李媛 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号