机构

• 软件研究所 [7]
• 地理科学与资源研究所 [2]
• 电子学研究所 [2]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [12]

内容类型

• 学位论文 [7]
• 期刊论文 [5]

发表日期

• 2013 [1]
• 2008 [3]
• 2007 [3]
• 2005 [4]
• 2004 [1]

学科主题

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 股市信息流对收益率及其波动的影响研究 期刊论文  OAI收割 管理科学学报, 2013, 卷号: 16.0, 期号: 011, 页码: 69-80 作者:  文凤华;  龚旭;  黄创霞;  陈晓红;  杨晓光   |  收藏  |  浏览/下载：18/0  |  提交时间：2021/01/14 信息流  价值函数  量价关系  GARCH-V模型   高安全级别可信操作系统实现研究 学位论文  OAI收割 博士, 电子学研究所: 中国科学院电子学研究所, 2008 胡俊 收藏  |  浏览/下载：40/0  |  提交时间：2011/07/19 结构化保护级  安全操作系统  强制访问控制模型  信息流  可信计算  形式化方法   高安全级别可信操作系统实现研究 学位论文  OAI收割 博士, 电子学研究所: 中国科学院电子学研究所, 2008 胡俊 收藏  |  浏览/下载：19/0  |  提交时间：2011/07/19 结构化保护级  安全操作系统  强制访问控制模型  信息流  可信计算  形式化方法   安全操作系统信息流技术与安全架构研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2008 沈建军 收藏  |  浏览/下载：24/0  |  提交时间：2011/03/17 安全操作系统  信息流模型  隐蔽信道分析  安全架构  访问控制   安全操作系统策略模型的关键问题研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 何建波 收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17 安全操作系统  安全策略  安全模型  形式化方法  信息流分析   对两个改进的BLP模型的分析 期刊论文  OAI收割 软件学报, 2007, 期号: 6, 页码: 1501-1509 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/01 安全性  灵活性  BLP模型  特洛伊木马  信息流   基于DTE策略的安全域隔离Z形式模型 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/01 安全域隔离  信息流  DTE  可信管道  形式化  策略  安全域  域隔离  形式模型  系统安全性  形式定义  隔离技术  形式分析方法  信息流分析  验证  系统状态  可信系统  建模问题  安全状态  安全性质  安全目标  不变量  语言  基础Formal languages  Magnetic domains  Query languages  Servers  Specifications  Verification   土地管理信息流模型分析与设计 学位论文  OAI收割 中国科学院地理科学与资源研究所: 中国科学院研究生院, 2005 作者:  张敬波   |  收藏  |  浏览/下载：4/0  |  提交时间：2010/12/16 土地管理信息流  模型  开发方法  体系结构  信息系统   铁路地理信息系统研究与开发实践 学位论文  OAI收割 中国科学院地理科学与资源研究所: 中国科学院研究生院, 2005 作者:  胡继华   |  收藏  |  浏览/下载：32/0  |  提交时间：2010/12/16 铁路  web services  时空数据模型  组件  GIS  信息流  分布式数据库   多级安全OS与DBMS模型的信息流及其一致性分析 期刊论文  OAI收割 计算机学报, 2005, 卷号: 28, 期号: 7, 页码: 1123-1129 李斓; 冯登国; 徐震   |  收藏  |  浏览/下载：31/0  |  提交时间：2010/05/27 信息流  多级安全数据库  多级安全操作系统  一致性  多级关系模型