机构

• 软件研究所 [2]
• 地理科学与资源研究所 [1]
• 新疆理化技术研究所 [1]

采集方式

• OAI收割 [4]

内容类型

• 学位论文 [2]
• 期刊论文 [2]

发表日期

• 2021 [1]
• 2011 [1]
• 2007 [1]
• 2005 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 全域旅游视野下长江旅游带生态安全格局构建研究 学位论文  OAI收割 中国科学院地理科学与资源研究所: 中国科学院地理科学与资源研究所, 2021 作者:  黄泰   |  收藏  |  浏览/下载：9/0  |  提交时间：2023/07/20 全域旅游  生态安全格局构建  长江旅游带   电子政务中网络与信息安全系统的设计与实现 学位论文  OAI收割 中国科学院新疆理化技术研究所: 中国科学院研究生院, 2011 作者:  蔡李   |  收藏  |  浏览/下载：9/0  |  提交时间：2016/05/24 电子政务  网络信息安全  安全域  安全体系  安全技术   基于DTE策略的安全域隔离Z形式模型 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/01 安全域隔离  信息流  DTE  可信管道  形式化  策略  安全域  域隔离  形式模型  系统安全性  形式定义  隔离技术  形式分析方法  信息流分析  验证  系统状态  可信系统  建模问题  安全状态  安全性质  安全目标  不变量  语言  基础Formal languages  Magnetic domains  Query languages  Servers  Specifications  Verification   达到B级安全的PMI研究与设计 期刊论文  OAI收割 计算机应用研究, 2005, 期号: 4, 页码: 47-48,51 冷健; 谢冬青   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/07/28 监控器模型,授权管理基础设施,安全域,安全对象代理