中国科学院计算技术研究所机构知识库(CSpace): 检索

验证码:

换一张

忘记密码？记住我

图片搜索

粘贴图片网址

文献类型

发表日期

收录类别

浏览/检索结果: 共2条，第1-2条

帮助

已选(0)清除条数/页：排序方式：
	基于良基语义的安全策略表达与验证方法期刊论文软件学报, 2012, 卷号: 23.0, 期号: 004, 页码: 912 作者: 包义保; 殷丽华; 方滨兴; 郭莉收藏 \| 浏览/下载：10/0 \| 提交时间：2023/12/04 安全策略安全管理良基语义策略验证逻辑编程
	无权访问的条目期刊论文作者: 刘悦; 冯凯; 林思明; 王雷; 程学旗 Adobe PDF(416Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2009/12/18

中国科学院计算技术研究所机构知识库