搜索到 篇“ 形式化规范 “的相关文章

相关作者

贺也平
作品数：116被引量：521H指数：14
供职机构：中国科学院软件研究所
研究主题：可信计算 安全操作系统 信息安全 访问控制 源代码
沈昌祥
作品数：314被引量：2,085H指数：24
供职机构：中国工程院
研究主题：可信计算 信息安全 网络安全 操作系统 安全操作系统
袁春阳
作品数：35被引量：86H指数：5
供职机构：国家互联网应急中心
研究主题：安全操作系统 可信计算 访问控制 RBAC模型 操作系统
郑援
作品数：56被引量：181H指数：8
供职机构：中国人民解放军海军潜艇学院
研究主题：潜艇 水声对抗 船舶 鱼雷 虚拟现实
吕述望
作品数：171被引量：1,061H指数：16
供职机构：北京知识安全工程中心
研究主题：信息安全 密码学 网络安全 密码技术 分组密码