论文部分内容阅读
本文通过引入一些新概念，利用有限状态机原理和BLP模型、Biba模型思想，对一个基于认证和授权的信息系统进行了形式化描述和验证，该模型具有保密性和完整性。
一个信息安全系统的形式描述和验证
【摘 要】
：
本文通过引入一些新概念，利用有限状态机原理和BLP模型、Biba模型思想，对一个基于认证和授权的信息系统进行了形式化描述和验证，该模型具有保密性和完整性。
【机 构】
：
内江师范学院计算机与信息科学系,内江师范学院网络应用项目开发重点实验室
【出 处】
：
西南民族大学学报：自然科学版
【发表日期】
：
2008年4期
【基金项目】
：
国家973资助项目1999035801,,四川省教育厅自然科学重点项目(2006A130),,内江师院院级科研项目:06NJZ-5
其他文献
介绍青藏铁路首批试验站房工程玉珠峰车站小体积混凝土在高原高寒条件下施工的关键控制环节,对施工过程中混凝土的温度变化、成熟度及强度增长进行了计算,并详细介绍了高寒条
目的：评价应用动态心电图（Holter）诊断心肌缺血总负荷（total ischemia burden,TIB）的方法,筛查无痛性心肌缺血（silent myocardial ischemia,SMI）冠心病患者的价值。方法：对72例有冠心
目的：观察回收式自体输血在非停跳冠状动脉旁路移植术（OPCABG）中应用的临床效果。方法：我院择期行OPCABG ASAⅡ～Ⅲ,心功能Ⅱ～Ⅲ（NYHA）,且自愿接受自体血回输患者120例。监测患者术前
《机械基础》是中职学校机械类相关专业的重要必修课，针对其内容涉及面广，理论较抽象，教起来枯燥乏味，学起来缺乏兴趣等情况，在教学过程中教师要结合学生的实际情况，适当的调整教学
目的探讨卡前列素氨丁三醇联合米非司酮治疗子宫肌瘤的临床疗效。方法调取2013年5月—2015年1月诊治的84例子宫肌瘤患者资料,随机分为两组,两组子宫肌瘤剔除术均为同一组医生
文章首先介绍了"CCD磁动式测氧仪"的结构、测量原理,然后介绍TCD1500C的驱动时序和采用CPLD设计的时序驱动电路,最后介绍与单片机的数据接口电路。
目的为飞机客舱空气质量污染事故调查、飞机适航认证及客舱环境卫生监测提供参考。方法比较目前国内外民用飞机客舱空气质量标准限值及检测方法。结果我国民用飞机客舱空气质