机构

• 软件研究所 [3]
• 自动化研究所 [1]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [3]
• 学位论文 [1]

发表日期

• 2015 [1]
• 2007 [1]
• 2006 [1]
• 2003 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 指纹识别系统中假指纹检测技术的研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院大学, 2015 作者:  贾晓飞 收藏  |  浏览/下载：46/0  |  提交时间：2015/09/02 系统安全性  假指纹检测  稀疏表示  多尺度局部二模式模型  未知材料制作的假指纹  System Security  Fake Fingerprint Detection  Sparse Representation  Multi-scale LBP  Artifacts Made of Unknown Materials   基于DTE策略的安全域隔离Z形式模型 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/01 安全域隔离  信息流  DTE  可信管道  形式化  策略  安全域  域隔离  形式模型  系统安全性  形式定义  隔离技术  形式分析方法  信息流分析  验证  系统状态  可信系统  建模问题  安全状态  安全性质  安全目标  不变量  语言  基础Formal languages  Magnetic domains  Query languages  Servers  Specifications  Verification   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/07/13 BLP模型  MLS策略  安全不变式  Z语言  Z/EVES定理证明器  多级安全模型  安全性  形式化分析  不变式  验证模型  形式化规范  验证工具  系统安全  策略  表述形式  分析表  语言  思想  理论  客体  方法Computer programming languages  Formal languages  Functions  Mathematical models  Security of data  Security systems  Specifications  Theorem prov   移动agent系统安全性研究综述 期刊论文  OAI收割 计算机研究与发展, 2003, 卷号: 40, 期号: 7, 页码: 984-993 谭湘; 顾毓清; 包崇明   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/29 移动agent系统  安全性  认证  加密  移动  系统安全性  解决方案  安全对策  基础