王金双
- 作品数：54 被引量：110H指数：4
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信军事更多>>
- 基于HIP的通信系统及通信方法
- 本发明公开了基于HIP的通信系统及通信方法。该系统包括若干个客户端和服务器，所述客户端与服务器采用HIP协议通信，还包括网关节点和认证中心，所述网关节点分别与客户端、服务器采用HIP协议通信，同时，网关节点还与认证中心保...
- 张涛陈融赵敏王金双袁志坚
- 文献传递
- 具有安全模块可插拔功能的Android平台构建方法
- 本发明公开了一种具有安全模块可插拔功能的Android平台构建方法，该方法首先在原生Android平台四层结构中查找与安全模块特征点相关的所有交汇点；其次，根据交汇点所在位置确定安全模块的类型及存储路径；最后在所有交汇点...
- 张涛赵敏陈融王金双袁志坚
- 文献传递
- 基于CDIO的信息安全方向研究生培养模式研究被引量：3
- 2015年
- 针对我校信息安全方向研究生存在动手能力弱、解决实际问题能力弱等问题,提出基于CDIO教育理念的研究生联合培养模式,对其培养模式、教学模式、课程设置等方面进行了深入分析,并借鉴国内外高校的校企合作培养模式,论证了联合培养模式的优势和可行性。
- 潘林张涛王金双陈融
- 关键词：CDIO信息安全
- 一种单向数据传输装置
- 本实用新型公开了一种单向数据传输装置，包括：依次连接的数据发送器、数据隔离器和数据接收器，其中，数据发送器包括依次连接的以太网口I、第一光纤收发器、光纤耦合器和光输出端口I；数据隔离器包括依次连接的光输入端口I、第一光纤...
- 张涛王金双赵敏陈融
- 文献传递
- 基于龙芯的Windows软件二进制移植研究
- 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中进行的。
- 王金双杨华兵张兴元王元元张毓森
- 关键词：形式化验证活动性
