中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	基于良基语义的安全策略表达与验证方法期刊论文 OAI收割软件学报, 2012, 卷号: 23.0, 期号: 004, 页码: 912 作者: 包义保; 殷丽华; 方滨兴; 郭莉 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 安全策略安全管理良基语义策略验证逻辑编程
	云存储中的数据完整性验证方法研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 殷佳欣 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/06/24 云存储完整性验证布隆过滤器多指标决策均衡决策策略
	分布式环境下安全策略的可信关键技术研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 张谦 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/01/24 可信计算访问控制策略语义远程证明策略分析度量-验证时间差
	一种通过应用程序验证TPM标准符合性的方法期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656 崔奇; 石文昌 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/06/10 可信计算组织可信平台模块标准符合性测试标准符合链 Trusted Computing Group (TCG) Trusted Platform Module (TPM) compliance test chain of compliance 计算应用程序程序验证标准符合性 Trusted Computing 可信计算准一致性执行功能系统保护命令计算平台安全性组件思想规范策略
	基于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
	基于AS关系的BGP路由策略验证方法期刊论文 OAI收割计算机工程, 2006, 卷号: 32.0, 期号: 013, 页码: 123 作者: 翟鹏; 李登道; 毕经平 \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2023/12/04 BGP AS关系路由策略策略验证
	基于最小序句子的上下文无关语言句子枚举期刊论文 OAI收割计算机研究与发展, 2004, 卷号: 41, 期号: 1, 页码: 9-14 黄文集 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/29 上下文无关语言句子枚举最小序句子最小序句子上下文无关语言句子枚举顺序扫描字符串方法验证系统形式规约效率获取系统形式化数据表性能实验时空基础策略
	Linux实时调度方案的设计与实现期刊论文 OAI收割计算机研究与发展, 2003, 卷号: 40, 期号: 5, 页码: 728-733 李小群; 赵慧斌; 叶以民; 孙玉芳 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2011/07/29 Linux 实时操作系统预留资源资源集堆实时调度 SMP 实时调度机制调度方案实时操作系统平均响应时间实验验证实时性能实时任务分时系统调度策略吞吐率时间片软实时设计目标精度