机构

• 软件研究所 [10]
• 武汉岩土力学研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [8]
• 学位论文 [2]
• 会议论文 [1]

发表日期

• 2019 [1]
• 2018 [1]
• 2014 [1]
• 2009 [1]
• 2008 [2]
• 2007 [2]
• 更多

学科主题

• 自动控制技术 [1]
• 自动控制技术::自动... [1]
• 计算机科学技术::计... [1]
• 计算机科学技术基础学... [1]
• 计算机软件::计算机... [1]
• 计算机软件::软件理... [1]
• 更多

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 时滞动态系统的形式验证与控制生成 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2019 作者:  陈明帅   |  收藏  |  浏览/下载：70/0  |  提交时间：2019/06/10 时滞动态系统  安全性验证  控制器生成  可达集计算  稳定性分析  算法博弈论   隧道锚抗拔承载力及安全性评估方法 期刊论文  OAI收割 中国公路学报, 2018, 卷号: 31.0, 期号: 009, 页码: 95 作者:  王东英;  汤华;  尹小涛;  秦雨樵;  邓琴   |  收藏  |  浏览/下载：23/0  |  提交时间：2021/05/25 隧道工程  隧道锚  理论分析  极限承载力  安全性评估  模型试验验证   基于不变式的混成系统分析、验证和设计方法研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2014 赵恒军   |  收藏  |  浏览/下载：20/0  |  提交时间：2014/05/28 混成系统  不变式  安全性验证  稳定性分析  控制器生成   参数化系统安全性的启发式符号验证 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 6, 页码: 1444-1456 杨秋松; 李明树   |  收藏  |  浏览/下载：19/0  |  提交时间：2010/07/05 参数化系统  安全性  向上封闭集合  启发式搜索  符号验证   基于贝叶斯网络的脆弱性状态评估方法 期刊论文  OAI收割 中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 639-648 陈思思; 连一峰; 贾炜   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/06/10 脆弱性评估  评估指标  贝叶斯网络  量化评估  脆弱性  安全状态  评估方法  Bayesian networks  评估指标集  网络安全性  计算方法  量化分析方法  网络可靠度  最小路集  最小割集  验证工具  网络攻击  算法  评估问题  分析验证  安全模型  安全领域   一种通过应用程序验证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收割 2007全国理论计算机科学学术年会, 南宁, 2007 石志国; 贺也平; 淮晓永; 张宏   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/06/29 网络安全  匿名协作  网格计算  验证算法  可信计算  网格协作安全性   对一类多级安全模型安全性的形式化分析 期刊论文  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   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/29 模型检测  并发系统  软件可靠性  SPIN/Promela  形式化验证  并发系统  逻辑一致性  计算机科学  安全性分析  验证技术  验证工具  研究领域  数据结构  软件系统  建模语言  基本算法  工作机理  分析验证  运用  应用  通道  输出  设计  模型