王金双
- 作品数：54 被引量：112H指数：4
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家部委资助项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信军事更多>>
- 基于HIP的通信系统及通信方法
- 本发明公开了基于HIP的通信系统及通信方法。该系统包括若干个客户端和服务器，所述客户端与服务器采用HIP协议通信，还包括网关节点和认证中心，所述网关节点分别与客户端、服务器采用HIP协议通信，同时，网关节点还与认证中心保...
- 张涛陈融赵敏王金双袁志坚
- 文献传递
- 具有安全模块可插拔功能的Android平台构建方法
- 本发明公开了一种具有安全模块可插拔功能的Android平台构建方法，该方法首先在原生Android平台四层结构中查找与安全模块特征点相关的所有交汇点；其次，根据交汇点所在位置确定安全模块的类型及存储路径；最后在所有交汇点...
- 张涛赵敏陈融王金双袁志坚
- 文献传递
- 基于CDIO的信息安全方向研究生培养模式研究被引量：3
- 2015年
- 针对我校信息安全方向研究生存在动手能力弱、解决实际问题能力弱等问题,提出基于CDIO教育理念的研究生联合培养模式,对其培养模式、教学模式、课程设置等方面进行了深入分析,并借鉴国内外高校的校企合作培养模式,论证了联合培养模式的优势和可行性。
- 潘林张涛王金双陈融
- 关键词：CDIO信息安全
- 一种单向数据传输装置
- 本实用新型公开了一种单向数据传输装置，包括：依次连接的数据发送器、数据隔离器和数据接收器，其中，数据发送器包括依次连接的以太网口I、第一光纤收发器、光纤耦合器和光输出端口I；数据隔离器包括依次连接的光输入端口I、第一光纤...
- 张涛王金双赵敏陈融
- 文献传递
- 基于龙芯的Windows软件二进制移植研究被引量：1
- 2016年
- 由于龙芯采用无内部互锁流水级的微处理器(MIPS)指令集且主要支持Linux操作系统,但在该平台上的应用软件相对匮乏,且很多传统Windows软件无法在该平台上直接运行。针对该问题,利用Wine仿真Windows系统调用,结合QEMU用户模式实现x86指令向MIPS指令动态翻译的方法,将运行在Intel+Windows上的应用软件向龙芯+Linux平台二进制移植。实验结果表明,相比于Bochs+Wine方案和QEMU全系统仿真方案,该方法虚拟CPU运算速率为Bochs+Wine方案的8.04倍和QEMU全系统仿真方案的1.44倍,I/O读写速率为Bochs+Wine方案的2.44倍和QEM U全系统仿真方案的7.38倍,运行效率明显提高。
- 苏煜张涛王金双赵敏
- 关键词：龙芯
- SAODV协议在Isabelle/HOL中的正确性验证
- 将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质.前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者...
- 王金双杨华兵张兴元王元元张毓森
- 关键词：移动自组网路由协议形式化验证活动性安全性
- 文献传递
- 基于HDLC和FR分析通信环境对协议设计的影响
- 2012年
- 协议设计质量的好坏直接关系到所开发出来的协议功能、性能等是否满足用户需求,以及协议后期维护成本。通信环境是协议设计需要优先考虑的问题。只有充分了解和定义了协议运行的通信环境,才能准确地设计出协议的其它元素,保证协议在功能上和性能上满足用户的需求。基于此,重点讨论了高级数据链路控制协议(HDLC)和帧中继(FR)两种协议的运行环境和特点,通过与其他协议的对比,总结了通信环境对协议设计可能产生的影响。只有从通信环境中的用户需求、(n-1)层通道性质等各方面去把握协议将来的运行环境,才能设计出实际可行的协议。
- 蒋绍林姚金魁施祖清王金双陆晓雯
- 关键词：通信环境帧中继
- Linux环境中BLP模型的实现及应用被引量：3
- 2004年
- 强制访问控制可以为 Linux系统提供更有效的安全保护。在 Linux 2 .4.1 8- 3内核上采用访问控制框架模式实现了基于严格的 BLP模型的强制访问控制 ,分析了该模型对系统可用性的影响 ,并提出了若干改进建议。
- 王金双张涛张毓森
- 关键词：LINUX强制访问控制BLP模型
- 基于龙芯的Windows软件运行环境的设计与实现被引量：3
- 2014年
- 龙芯处理器在国产处理器市场占有重要地位.由于龙芯采用的是MIPS指令集且主要支持Linux操作系统,然而目前在该平台上的应用软件还相对匮乏,且很多传统Windows软件也无法在该平台上直接运行,这使得龙芯处理器的推广与应用受到了影响.针对这一问题,提出了一种在龙芯平台上基于Wine来提供Windows虚拟执行环境,并通过将Wine和Bochs模拟器相结合完成X86指令集到MIPS指令集翻译的解决方案.该方案能够实现Windows程序在零修改情况下直接运行在龙芯平台上,可支持Delphi,C,C++等多种语言开发的程序,以及网络、数据库等多种功能.测试表明:该系统运行稳定,但还存在不可忽略的性能影响.
- 苏煜张涛靳国杰荣辉王金双赵敏
- 关键词：龙芯
- SAODV协议在Isabelle/HOL中的正确性验证被引量：1
- 2008年
- 将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质。前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者是指节点一定能够找到合适的路由,并利用其成功传送数据。很多移动自组网路由协议的形式化验证工作关注安全性性质,而活动性性质却被忽略了。利用Paulson归纳法来描述SAODV协议并验证其安全性性质,扩展Paulson归纳法描述和验证SAODV的活动性性质。所有定义和推理都是在机器辅助定理证明工具Isabelle/HOL/Isar中进行的。
- 王金双杨华兵张兴元王元元张毓森
- 关键词：形式化验证活动性
