中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	面向应用的公钥密码系统及其可证明安全研究学位论文 OAI收割博士, 北京: 中国科学院大学, 2015 张江 \| 收藏 \| 浏览/下载：31/0 \| 提交时间：2015/06/30 可证明安全基于格的密码学 One-More问题认证密钥交换协议群签名基于属性加密非交互公开公钥加密代理重加密
	通信协议的实体行为描述语言CPEBSDL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44.0, 期号: 011, 页码: 1839 作者: 范昊; 吴哲辉 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 通信协议描述语言交互行为实体 BSDL语言行为描述语言规则 CPE
	移动终端人机交互界面的设计与实现学位论文 OAI收割博士, 中国科学院声学研究所: 中国科学院声学研究所, 2005 蓝云燕收藏 \| 浏览/下载：76/0 \| 提交时间：2011/05/07 人机交互界面（MMI）图形用户界面（GUI）用户界面控件抽象 AT命令协议栈
	多主体团队交互协议期刊论文 OAI收割软件学报, 2004, 卷号: 15.0, 期号: 005, 页码: 689 作者: 史忠植; 盛秋戬; 赵志崑; 刘少辉 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 联合意图主体通信语言联合请求委托请求团队交互协议
	多主体交互协议的表示和实现期刊论文 OAI收割计算机工程与应用, 2003, 卷号: 39.0, 期号: 024, 页码: 8 作者: 崑赵志; 盛秋戬; 高翔; 史忠植 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 交互协议会话处理多主体系统结构化主体通信语言知识层
	一种基于对象序列图的组件交互协议设计方法期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 7, 页码: 996-1006 魏峻; 王栩; 李京 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2011/07/29 对象序列图组件互操作交互交互协议模型检查形式分析对象序列图组件交互交互协议设计方法 software development 形式分析方法组件的软件开发 sequence diagram 互操作性可视化建模形式定义协议设计思想软件工具交互特征规范分离组件标准化运用协调Interoperability
	关于“为设计认证协议的一个简明逻辑”一文的注记期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 11, 页码: 1581-1585 季庆光; 冯登国 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2010/05/26 协议交互攻击安全性模态逻辑分析