QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于Yaksha密钥托管机制的命名数据网络内容发布/订阅系统 期刊论文 通信学报, 2015, 卷号: 36, 期号: 2015年11期, 页码: 127-135 作者:  郭显;  冯涛;  曹来成;  王晶;  鲁晔 收藏  |  浏览/下载：16/0  |  提交时间：2019/11/13 命名数据网络  Yaksha系统  El Gamal  移动自组织网络   基于扩展 LS2的可信虚拟平台信任链分析 期刊论文 通信学报, 2013, 卷号: 34, 期号: 5, 页码: 31-41 常德显; 冯登国; 秦宇; 张倩颖 收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 可信计算  可信虚拟平台  安全系统逻辑  信任链  虚拟信任根  trusted computing  trusted virtualization platform  logic of secure system  trust chain  virtual root of trust   基于扩展LS~2的可信虚拟平台信任链分析 期刊论文 通信学报, 2013, 卷号: 34, 期号: 5, 页码: 31-41 常德显; 冯登国; 秦宇; 张倩颖 收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17 可信计算  可信虚拟平台  安全系统逻辑  信任链  虚拟信任根   一种操作系统内核完整性度量方法 期刊论文 小型微型计算机系统, 2013, 卷号: 34, 期号: 5, 页码: 997-1002 李瑜; 赵勇; 林莉; 姜伟; 詹静; 辛思远 收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 可信计算  可信度量  操作系统内核  完整性保护   编码感知多跳无线网络安全路由协议 期刊论文 通信学报, 2012, 期号: 2012年06期, 页码: 133-142 作者:  郭显;  冯涛;  袁占亭 收藏  |  浏览/下载：17/0  |  提交时间：2019/11/13 多跳无线网络  安全路由协议  DCAR  形式化方法  LS2逻辑   动态远程证明协议及其形式化分析 期刊论文 计算机工程与设计, 2012, 卷号: 33, 期号: 8, 页码: 2901-2905 辛思远; 赵勇; 王婷 收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 动态度量  远程证明  时间戳  LS2逻辑  形式化分析   用逻辑方法验证移动Ad Hoc网络协议 期刊论文 东南大学学报(自然科学版), 2011, 期号: 2011年02期, 页码: 258-265 作者:  郭显;  冯涛;  袁占亭;  马建峰 收藏  |  浏览/下载：64/0  |  提交时间：2019/11/13 Ad Hoc网络  形式逻辑  网络迹  移动IP注册协议