基于轻量级分析的程序静态分析器

在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,快速分析源程序文件得到交叉索引信息,改善了程序分析时间.     

轻量级目录访问协议在证书库中的应用

轻量级目录访问协议(LDAP)是互联网中的一门新技术,目录服务作为数字证书系统、统一认证和授权管理系统的核心基础设施,为公钥数字证书和公钥属性证书提供查询、证书废止列表查询.探讨了LDAP目录服务PKI/PMI中的应用方案,着重论述了如何建立证书库的应用.     

低轮MIBS分组密码的积分分析

分组密码算法MIBS是轻量级密码算法,其设计目标是适用于RFID和传感等资源受限的环境.对其进行了积分分析,给出了一个5轮的积分区分器,并利用高阶积分的技术将该5轮区分器向前扩展了3轮.据此对MIBS进行了8轮、9轮和10轮的攻击.8轮攻击数据复杂度为29.6,时间复杂度为235.6次加密;9轮的攻击数据复杂度为237 6,时间复杂度为240次加密;10轮的攻击数据复杂度为261.6,时间复杂度为240次加密.同时该攻击结果适用于MIBS-64和MIBS-80两个版本.研究结果表明,这种所使用的高阶积分技术对于Feistel-SP结构的分组密码普遍适用.     

轻量级分组密码算法ESF的不可能差分分析

新的轻量级密码算法ESF用于物联网环境下保护RFID标签以及智能卡等设备的通信安全.ESF算法是一种具有广义Feistel结构的32轮迭代型分组密码,轮函数是SPN结构.分组长度为64比特,密钥长度为80比特.通过不可能差分分析方法来寻找ESF算法的不可能差分特征,给出ESF算法8轮不可能差分区分器来攻击11轮ESF算法.实验结果表明,ESF对不可能差分密码分析有足够的安全免疫力.     

基于ExtJS的JSON数据交换格式研究

JSON是一种基于文本的、独立于语言的轻量级数据交换格式,它不但易于阅读和编写,还易于机器解析和生成,是一种很容易将服务器端数据结构转换成JavaScript对象的数据格式.基于ExtJS富客户端的AJAX框架下,结合具体实例对JSON数据交换格式的细节进行讨论研究.     

轻量级嵌入式Agent在Android平台上的实现

在多Agent应用中,Agent主要部署在网络中的计算机上.随着对移动应用智能性和主动性要求的提高,需要将Agent部署在资源受限的手持设备上.针对该问题,利用中间件技术及分割容器的思想,实现Jade平台与Android平台的集成,将Jade Agent部署到Android手持设备上.实例结果表明,轻量级嵌入式Agent的实现,能使手持设备的应用更加方便且具有智能性、主动性和交互性,可满足用户的个性化需求.     

服务环境下面向新能源场站轻量级安全认证方案的研究

新能源场站信息系统涉及数据多并且价值大，一旦相关数据发生泄露会使新能源企业的利益遭受侵害，提高网络通讯数据传输的安全性至关重要。本文提出了一个云服务环境下面向新能源场站轻量级安全认证方案，新能源场站用户与云服务提供商通过注册、登录和相互身份认证进行密钥协商最终达成会话密钥。安全性分析和仿真试验结果表明，本文提出的云服务环境下面向新能源场站轻量级认证方案提高了网络通讯数据传输的安全性。     

基于RT-Thread Nano的LwIP以太网协议栈移植与实现

针对现有方案自主可控性不足的弊端，提出了基于RT-Thread Nano操作系统完成LwIP以太网协议栈的移植实现以太网通信功能方案。首先，给出了RT-Thread Nano操作系统的移植方法，分析了RT-Thead Nano自动初始化机制的原理，并改进了串口控制台的数据发送方式。在操作系统的基础上完成了LwIP的移植，并测试验证了TCP通信和UDP通信。测试结果验证了基于自主RTOS的LwIP移植方案的有效性。     

IT界"虚拟化"变革的引领者:Cloud OS

去年,美国沃尔玛公司推出定价为199美元的gPC,它以gOS Linux为平台,获得了业界及消费者的不少好评。今年年初,gPC的幕后推手Good OS在法国巴黎的全球笔电高峰会上发布了其最新力作——超轻量级Linux操作系统(gOS)。自那以后,Cloud OS一直是IT界关注的热门话题。     

融合多尺度特征的轻量级单目图像深度估计方法

针对目前的单目深度估计网络复杂度高、边缘模糊、精度低等问题，本文以Fast Depth网络模型架构为基础，在编码网络中以改进的模型提升网络的特征表达能力，在解码网络中融合了多尺度特征信息提升特征图推理精度，通过改进的D-ASPP模块细化编解码网络之间语义场景层次，解决边缘模糊和虚假纹理等问题。实验表明，此方法在保持较快的推理速度的同时，获得了较好的深度推理精度，是一种综合性能较好的轻量级单目深度方法。