登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
基于逻辑的安全策略系统建模与验证
出版年:
2012
作者:
包义保
资源类型:
图书
细分类型:
学位论文
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Stateflow逻辑系统建模
作者:
张威
ISBN:
9787560618524
出版社:
西安电子科技大学出版社
出版年:
2007
DBMS安全策略模型的研究
作者:
何永忠
出版社:
中国科学院
出版年:
2005
DBMS安全策略模型的研究
作者:
何永忠
出版社:
中国科学院
出版年:
2008
基于移动Web操作系统的混合对安全策略模型和体系结构研究
作者:
杨莹
出版年:
2018
Linux安全策略与实例
作者:
李洋
ISBN:
9787111283782
出版社:
机械工业出版社
出版年:
2009
信息安全策略
作者:
赵洪彪
ISBN:
7302094036
×
访问借阅管理系统