机构

• 软件研究所 [12]
• 计算技术研究所 [2]
• 上海微系统与信息技术... [1]
• 沈阳自动化研究所 [1]
• 文献情报中心 [1]

采集方式

• OAI收割 [17]

内容类型

• 期刊论文 [13]
• 学位论文 [3]
• 会议论文 [1]

发表日期

• 2023 [1]
• 2021 [1]
• 2013 [2]
• 2012 [1]
• 2011 [1]
• 2010 [2]
• 更多

学科主题

• Computer S... [1]
• 计算机科学技术其他学... [1]
• 计算机系统结构 [1]

筛选

浏览/检索结果: 共17条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 An Open Sharing Method for Digital Heritage Assets Based on Self-Sovereign Identity Technology 会议论文  OAI收割 Venice, 2023-7-31 作者:  Zhu JL(朱佳丽)   |  收藏  |  浏览/下载：24/0  |  提交时间：2023/09/04 开放共享  文化遗产  自主身份  区块链  去中心化标识符  可验证凭证   全委托的公共可验证的外包数据库方案 期刊论文  OAI收割 软件学报, 2021, 卷号: 32, 期号: 12, 页码: 3901-3916 作者:  周搏洋;  陈春雨;  王强;  周福才   |  收藏  |  浏览/下载：21/0  |  提交时间：2021/12/20 可验证数据库  可验证计算  公共可验证  全委托  双线性映射   可验证的云访问控制方案研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 司晓琳   |  收藏  |  浏览/下载：25/0  |  提交时间：2013/05/31 访问控制  云计算  可验证计算  仲裁游戏模型   基于XACML的可验证云访问控制方案 期刊论文  OAI收割 计算机工程, 2013, 卷号: 39, 期号: 10, 页码: 42-48,56 司晓琳; 王鹏翩; 张立武   |  收藏  |  浏览/下载：25/0  |  提交时间：2014/12/16 访问控制  云访问控制  可验证计算  仲裁游戏模型  可扩展访问控制标示语言  access control  cloud access control  verifiable computing  Refereed Games(RG) model  Extensible Access Control Markup Language(XACML)   云环境下访问控制服务技术研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2012 王鹏翩   |  收藏  |  浏览/下载：13/0  |  提交时间：2013/01/10 云计算  访问控制服务  属性加密  属性撤销  可验证委托计算   一种高效的基于身份的可验证加密签名方案 期刊论文  OAI收割 计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1350-1356 周由胜; 孙艳宾; 卿斯汉; 杨义先   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/10/10 基于身份  可验证加密签名  双线性对  随机预言模型  可证安全Electronic document identification systems  Public key cryptography  Shims   芯片设计的模拟验证技术分析和探讨 期刊论文  OAI收割 信息技术快报, 2010, 卷号: 8, 期号: 2, 页码: 36 作者:  吕涛;  李华伟;  李晓维   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/03/30 芯片设计  模拟验证  错误模型  错误注入  可验证性   实例依赖的可验证随机函数的高效构造 期刊论文  OAI收割 计算机应用研究, 2010, 卷号: 27, 期号: 7, 页码: 2621-2624 师鸣若; 姜中华   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/05/23 零知识协议  实例依赖  可验证随机函数zero knowledge protocol  instance-dependent  verifiable random function   高可信星载计算机的验证及其均衡优化技术研究 学位论文  OAI收割 博士: 中国科学院研究生院（上海微系统与信息技术研究所）  , 2009 张小林 收藏  |  浏览/下载：25/0  |  提交时间：2012/03/06 可信性  　星载计算机  　可验证性  　片上总线  　验证平台　   基于证人不可区分的通用可复合安全并行可否认认证 期刊论文  OAI收割 软件学报, 2007, 卷号: 18, 期号: 11, 页码: 2871-2881 冯涛; 马建峰   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/12 并行可否认认证  通用可复合安全  证人不可区分  可验证平滑投影哈希函数