机构

• 文献情报中心 [3]
• 软件研究所 [1]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2016 [1]
• 2015 [2]
• 2006 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 构建以事件为核心的长期保存系统起源管理框架 期刊论文  OAI收割 图书情报工作, 2016, 卷号: 60, 期号: 6, 页码: 91-96 作者:  吴振新;  李文燕;  蒋世银   |  收藏  |  浏览/下载：15/0  |  提交时间：2019/04/02 起源信息  生命周期管理  Oais  Premis  Prov  语义模型  溯源信息  起源事件  长期保存   起源信息模型及标准PROV的研究分析 期刊论文  OAI收割 情报理论与实践, 2015, 期号: 04, 页码: 23-29 作者:  李文燕;  吴振新 收藏  |  浏览/下载：20/0  |  提交时间：2016/01/16 数据起源  起源信息  起源模型  标准  OPM模型  Provenance  PROV模型   起源技术在长期保存中的应用与研究 期刊论文  OAI收割 图书情报工作, 2015, 期号: 8, 页码: 118-125 作者:  吴振新;  李文燕 收藏  |  浏览/下载：19/0  |  提交时间：2016/01/16 起源信息  来源信息  长期保存  PROV模型  Provenance   对一类多级安全模型安全性的形式化分析 期刊论文  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