机构

• 软件研究所 [3]
• 计算技术研究所 [1]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [3]
• 学位论文 [1]

发表日期

• 2007 [1]
• 2005 [1]
• 2004 [1]
• 1998 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 短报文可靠传输协议的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2007, 卷号: 28, 期号: 18 王宇亮; 章洋; 郑昌文   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/26 无线自组网  传输层  短报文  可靠性  三次握手   一种具有用户匿名性和前向安全性的WTLS握手协议的安全性分析及其改进 期刊论文  OAI收割 高技术通讯, 2005, 卷号: 15, 期号: 4 崔媛媛; 周永彬; 丁金扣; 温巧燕   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/25 WTLS  握手协议  前向安全性  信息安全   基于WTLS的无线网关的实现 期刊论文  OAI收割 计算机系统应用, 2004, 卷号: 000, 期号: 004, 页码: 43 作者:  代坤;  鲁士文   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 无线Internet  WAP网关  WTLS  无线网关  WDP  WTP  握手协议  密钥  无线安全   XYZ中的反应型系统的描述和验证 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 沈伟 收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17 XYZ系统  反应型系统  Hoare逻辑  逐步求精  前断言  后断言  通讯  通道  握手