Lattice-based key exchange on small integer solution problem

In this paper, we propose a new hard problem, called bilateral inhomogeneous small integer solution （Bi-ISIS）, which can be seen as an extension of the small integer solution problem on lattices. The main idea is that, instead of choosing a rectangle matrix, we choose a square matrix with small rank to generate Bi-ISIS problem without affecting the hardness of the underlying SIS problem. Based on this new problem, we present two new hardness problems： computational Bi-ISIS and decisional problems. As a direct application of these problems, we construct a new lattice-based key exchange （KE） protocol, which is analogous to the classic Diffie- Hellman KE protocol. We prove the security of this protocol and show that it provides better security in case of worst-case hardness of lattice problems, relatively efficient implementations, and great simplicity.     

基于Labwindows／CVI的数据采集系统的实现

介绍基于Labwindows／CVI的数据采集系统的实现过程。     

基于动态口令的SET改进及移动支付应用

在互联网和移动互联网支付领域,SET协议起着至关重要的作用。它通过对用户、商家、支付网关、收单行、发卡行关系的合理处理,为整个网络支付过程提供了安全、可靠的保障。但是,SET协议自身由于设计时代的局限,存在一定的效率和应用障碍的问题。文中对SET协议在移动支付中的安全性进行了研究,在保证原SET协议安全性的基础上,提出了一个改进方案。该方案的最大特点在于,通过将动态口令技术应用于SET协议的流程中,改进了SET协议的执行状况。通过分析,改进后的方案不仅是安全的,同时也是高效的,从而更好地保证了网上支付的安全性。     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

配电网自动化DTU终端的103规约的安全性分析

IEC 60870-5-103规约是应用于继电保护设备的信息接口配套标准,传输的主要内容是与继电保护有关的信息.该报文进行的是明文传输,缺乏加密措施和数字签名机制,安全性较低.为了验证以太网传输的103规约存在安全隐患和风险,搭建了主站与配电网自动化DTU终端的通信实验环境.运用ARP欺骗手段对系统进行了中间人攻击测试,实验的结果表明以太网传输的103规约具有中间人攻击的风险.为了提高协议的安全性,提出了一种基于非对称密码算法的双向身份认证机制,并采用对称加密机制、数字签名技术确保传输报文的机密性和完整性,最后通过仿真测试验证该方法的有效性.     

模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

基于改进变异树的工控协议模糊测试用例生成方法

针对现有应用层工控协议在模糊测试过程中用例冗余度高、测试效率低和随机性强等问题,提出一种基于改进变异树的测试用例生成方法。该方法将协议样本数据序列进行树结构化,同时提取协议规约中字段优先级信息,并利用其有效地控制树中各节点属性值的变异程度,从而达到降低测试成本、提高测试效率以及增大发掘漏洞几率的目的。实验结果表明,该测试用例生成方法对提高协议模糊测试性能具有显著的优化效果和漏洞检测能力。     

基于元胞自动机的无线传感网路由节能技术

针对无线传感器网络(WSN)路由协议设计需首要解决的节能问题,提出一种将元胞自动机(CA)用于无线传感器网络的高效节能机制。该机制在路由层设置元胞处理模块,通过路由报文捎带CA信息网络节点自组织形成以sink节点为中心的多级元胞自动机区域,决策节点根据通信过程中携带的元胞信息切换传感节点的工作状态以实现节能。仿真结果验证了该机制能降低网络整体能量消耗,提高能量利用率,延长整个网络生存周期。     

基于Agent反、正向招投标技术的Job Shop调度研究

分析了目前基于多Agent技术的Job Shop调度研究所存在的问题，对Job Shop调度问题进行了形式化描述，给出了基于多Agent的总体调度结构和调度过程，提出了基于柔性工艺路线的虚拟制造单元和Agent的反、正向招投标调度机制，描述了具体实现过程，给出了招标、投标、评标的参数和指标，通过示例验证了该方法的有效性。所提方法在Agent招投标中直接考虑了工序任务间的约束和联系，即充分发挥了多Agent系统分散决策的优势，又从根本上避免了任务分配的冲突，提高了调度效率。     

微机与数控机床远程通信软件开发

文章对与数控机床远程通信有关的内容进行了研究，从而确定了微机与其通信的体系机构，利用Visual C 语言编写程序实现Microsoft Windows平台与数控机床远程通信。通过对AT命令和串行通信协议进行详细的分析，采用多线程来控制数据的发送和接收，能够提高数控程序的传输效率，并可及时反馈数控机床的状态信息，利用调制解调器和拨号连接方式将数字信号转换成模拟信号，通过电话线传递给数控机床，最终实现数控程序远程加工过程的自动化。