QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 基于商业诚信业务框架的官网认证系统的设计与实现 学位论文 2018 作者:  缪章娟 收藏  |  浏览/下载：3/0  |  提交时间：2019/11/26 商业诚信  认证  AP框架  网络安全  RPC协议   ROS中XML-RPC协议实现的形式化验证 期刊论文 小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633 贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴 收藏  |  浏览/下载：48/0  |  提交时间：2016/12/09 ROS系统  XML-RPC协议  有界模型检测  定理证明   ROS中XML-RPC协议实现的形式化验证 期刊论文 小型微型计算机系统, 2015, 卷号: 36, 页码: 2629-2633 作者:  贾娟娟;  施智平;  关永;  李勇坚;  魏洪兴 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 ROS系统  XML-RPC协议  有界模型检测  定理证明  CBMC   应用RUBIN逻辑分析ANDREW安全RPC协议 会议论文 北京, 2010年5月21日 作者:  徐洋;  谢晓尧 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31 协议安全  RUBIN逻辑  ANDREW安全RPC协议   串空间模型对RPC协议机密性的验证 期刊论文 2009, 期号: 3, 页码: 4-7 作者:  展永刚;  杨世平 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02 安全协议  串空间  Andrew  secure  RPC协议   XML-RPC在跨平台RPC中应用 期刊论文 科技创业月刊, 2007, 期号: 7 作者:  张华;  魏俊;  马卫东 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 XML-RPC  宽带计费  XML  HTTP协议