基于CSPN的使用控制证书模型可靠性研究

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:zfz508
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
使用控制是下一代数字资源的使用保护技术,是未来网络安全的基础。可靠性理论是基于运用概率统计和运筹学的理论方法,该理论能够对系统的可靠性作定量分析。稳定的可靠性指标对于使用控制模型应用于现实信息系统的安全访问控制具有重要意义,使用控制模型的可靠性分析是目前迫切需要解决的一个问题。该文从模型性能分析的角度定义了证书模型的策略规则,给出证书模型的着色随机Petri网表示方法,利用着色随机Petri网把变迁性能变量引入到使用控制证书模型的形式化描述中,并给出使用控制授权过程可靠性分析方法。
其他文献
本文根据多径信道统计特性,提出了一种新的简化指数有效信干噪比计算方法。文章分析了多载波通信系统载干噪比的统计分布特性,并利用统计特性来简化指数有效信干噪比映射方法
杂波在雷达环境模拟中具有非常重要的地位,介绍了一种基于Weibull分布的雷达气象杂波模型,并进行了计算机仿真。文中给出了方法的思路及实现步骤,介绍了改进的零记忆非线性变
目的探讨4种常见胃肠道手术后手术部位感染(SSI)情况及相关危险因素。方法回顾性分析了2015年1月至2019年10月期间在三亚市人民医院接受胃肠道手术治疗的1 248例病人的临床资
慢性化脓性鼻窦炎是耳鼻咽喉科常见病、多发病,治疗上较为棘手。本文通过中西医结合治疗(治疗组)80例。西医治疗(对照组)80例的临床对比观察,治疗两周后,两组有效率分别为98.75%和90
<正>~~
期刊
孵化的蛋胚是生产禽流感疫苗的载体,蛋胚的活性检测是疫苗生产中的关键环节,通过光电容积脉搏法检测蛋胚活性是提高蛋胚活性检测准确率的关键。为了提高蛋胚活性检测效率和检
本文在介绍了超细粉煤灰制备工艺流程,以及对系统功能分析的基础上,以研华的ADAM5000数据采集模块为下位机和以组态王为上位机,设计了超细粉煤灰制备过程在线监控系统。详细对该