基于UML和模型检测的安全模型验证方法

程亮张阳开通知网号

【摘要】： 安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模...

下载App查看全文

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南

	【引证文献】
	【引证文献】

	【参考文献】
	【参考文献】

	【共引文献】
	【共引文献】