受限环境下委托握手DTLS协议的形式化分析与改进

物联网设备有着资源受限的特性,往往处于受限的网络环境中,在这之上又面临着安全的挑战。目前常见的受限网络协议栈为CoAP-DTLS/UDP-6LoWPAN,传输层使用UDP,其安全性由DTLS协议维持。但DTLS协议作为TLS在UDP上的扩展,基于PKI连接建立的方式使其在直接应用到受限环境下会产生诸多性能上的问题。针对DTLS协议在受限环境下的性能问题,国内外的研究学者提出了诸多解决方式,包括但不限于改进加密算法、使用特定硬件、优化证书链、委托可信三方进行密钥协商(即将DTLS握手委托给第三方)。因此,对委托握手的DTLS协议使用Scyther进行形式化分析,得出其交付密钥材料时使用长期预共享密钥存在的安全问题,并提出重用TLS/DTLS协议中PRF函数的改进方式,对改进后的方法进行分析,证明了该方法能有效降低交付密钥材料时存在的风险。

一种具有前向安全的TLS协议0-RTT握手方案

针对传输层安全(TLS)协议1.3版本在握手消息的第1个flight中传输应用数据的0-RTT握手方案,传输的早期数据由于不存在身份认证,容易遭受重放、伪造以及中间人的攻击,并且不满足前向安全的问题,提出一种具有前向安全的0-RTT优化握手方案,使用Tamarin安全协议形式化分析工具对改进前、后的协议进行形式化验证,结果表明:改进方案的早期数据在原方案之上具有了前向保密的安全性质。

Windows环境下SNMP Trap的研究

随着计算机网络技术的发展,网络管理成了不可或缺的重要组成部分。尽管有关网络管理方面的文章很多,但有关SNMP陷阱(Trap)技术应用的文章甚少。探讨了Windows环境下陷阱的编程技术和实现方法,对于网络管理应用的开发具有一定的参考意义。

本体在信息交换中的建模方法

详细介绍了目前最先进的Web本体语言DAML+OIL及相关技术,最后以Java语言为例说明建立一个本体的方法。

高效率多线程网络流量采集算法研究及实践

介绍了采用SNMP协议采集CISCO路由器网络流量的方法,对流量采集算法进行了分析,提出一种高效率的流量采集算法.创建四个线程进行数据采集和处理:发送线程、接收线程、预处理线程和存储线程.发送线程负责发送SNMP请求报文,接收线程负责接收SNMP响应报文,预处理线程过滤及整合采集到的流量信息,存储线程负责将预处理后的数据持久地存入数据库中.由于采用并行方式进行数据采集,该算法较串行采集效率高,并在实践中验证其可行性.

XML Schema,RDF Schema及DAML比较

以语义Web的层次为出发点,比较XMLSchema,RDFSchema及DAML的功能和作用。从描述语言表达能力的各个方面,比较这三种语言的关系及差异。

分布式工程协作环境下产品数据共享的研究

针对动态联盟的分布式协作环境中难以实现产品数据共享的问题,提出了采用以工程门户为核心集成各成员企业产品数据的方案。在探讨基于Internet的产品数据共享原理的基础上,通过包装PDM系统,采用对象引用和SOAP技术,为分布的产品数据建立关系,并将其集成为统一的产品视图。最后,以某工程门户原型为例说明了工程协作环境中产品数据共享的实现,验证了相关技术的可行性。

基于动态链接库进行BLOB数据交换的方法

本文介绍了如何使用动态链接库(DLL)进行BLOB数据交换,并通过调用动态链接库解决了很多应用程序不能调用显示JPEG图像问题。

PowerBuilder5.0中大文本和图像的处理

在用PowerBuilder开发人事管理系统时,经常要对人员的履历和照片进行处理,为此要用到PowerBuilder提供的BLOB变量、BLOB列及相应的函数和语句,本文对此作一介绍。

Delphi中JPEG图像对象的使用技巧

本文以实例介绍如何把JPEG图像数据写入数据库中并显示以及如何读写JPEG图像数据文件,另外,还说明了其他编程语言如何利用JPEG图像对象。

PDTnet——网络中的产品数据管理技术

介绍了欧洲支持产品数据管理技术的最新项目——PDTnet,该项目致力于开发汽车工业界制造商与供应商之间产品数据集成的解决方案。总结了该项目的项目目标、采用的技术和目前的进展。

JSDAI——STEP和Java技术的完美结合

介绍了基于Java编程语言的最新STEP工具包JSDAI。JSDAI是STEPPart27的具体实现,是SDAI的Java语言绑定,由JSDAI核心API、开发工具和末端用户工具构成。本文介绍了JSDAI的体系结构、核心工具、现状及将来的工作,同时列举了JS-DAI的工程应用。

基于欧氏距离的实时直线检测算法

提出一种新的直线检测算法。与已有算法不同,该算法并非通过坐标系的转换,而是基于将离散曲线各点前后k个点对间欧氏距离平方和定义为该点的直线度,并推导出直线段上除首尾有限个点外其余各点直线度最大这一性质。利用该性质,该算法首先运用Freeman链码的性质选择出物体边界上明显属于直线的像素,然后在剩余的边界点中通过计算并寻找连续直线度最大的点而定位出直线。实验结果表明,该算法具有较高的稳定性、实时性和准确性。

基于TrueSkill模型的围棋棋手排名方法及评估

如何根据比赛结果自动地估计参赛选手的真实竞技水平,是现代体育排名算法的核心研究内容.本文在综合分析现有等级分制、Elo算法和TrueSkill算法的基础上,通过仿真数据和真实数据,对比分析了TrueSkill排名、Elo排名和棋手段位间的差异及其原因.并且从排名的客观性、时效性、稳定性以及准确性四个方面,对TrueSkill算法的排名结果进行实际应用的可行性分析.实验结果表明TrueSkill的排名结果有较好的客观性、时效性、稳定性以及准确性,在仿真数据中TrueSkill的排名比Elo更合理.

二维条码中RS纠错译码算法的优化实现

利用Berlekamp Massey迭代算法、钱搜索算法以及Forney算法改进并实现了Data Matrix、QR Code和MaxiCode二维条码ISO标准中的Reed-Solomon纠错译码算法(简称RS算法),降低了三种二维条码码制中RS纠错译码算法的计算复杂度。在此基础上,利用RS缩短系统码的特点对译码过程作进一步简化。实验结果表明,通过简化译码过程再次提高了RS纠错译码的速度。

积极探索计算机专业课教学模式的几点尝试

文章通过对当前我校计算机专业课教学内容的现状和作者多年的教学经验相结合,深入剖析计算机专业课教学中存在的问题,积极探索计算机专业课教学模式的几点切实可行的改进方法,以提高我校计算机专业理论与实验的教学效果,推进我校计算机专业课教学模式的改革。

基于时间序列的竞技水平估计算法

体育竞技中,选手水平随时间变化,True Skill-T算法能估计选手时间序列上的竞技水平。文中针对围棋比赛的特点对其进行简化和修改,实现了True Skill Go-Year算法。为研究算法在实际排名应用上的可行性,分别基于真实的围棋比赛数据和仿真数据,考察了算法对数据的适应能力。实验结果表明True Skill-T算法排名结果符合领域常识,具备实际应用的性能。

基于CDIO教育模式的理工科计算机专业教学内容改革探讨

通过分析当前理工科计算机专业教学内容的现状,深入剖析其中存在的问题,提出将CDIO教育模式应用到理工科计算机专业教学内容中来的几点切实可行的改进方法,以提高理工科计算机专业理论与实验的教学效果,推进我校计算机专业教学内容的改革。

融合先后手优势的竞技水平估计算法

针对传统的基于概率图模型的竞技水平估计算法忽略了先后手(主客场)优势从而影响估计精度的问题,提出一种融合先后手优势的竞技水平估计算法。该算法在竞技水平估计算法的图模型上,引入先后手节点,将先后手优势与选手真实竞技水平融合;然后利用比赛结果,采用贝叶斯学习的方法同时估计选手的真实竞技水平和先后手优势;最终根据估计结果对比赛进行预测。在两个真实比赛数据上的对比实验表明,相对于没有融合先后手优势的估计算法,该方法能够明显提高竞技水平估计的精度。

封闭域UCT算法的实现及其性能测试

UCT算法在9×9棋盘上的水平,已经接近最优秀的专业棋手,但在19×19棋盘上还不尽人意.一种可能的改进是用多个并行的局部UCT搜索来替代全局UCT搜索,以期用同样的计算资源来达到更深的有效搜索深度.本文力图沿着此研究思路做一些初步的尝试.我们通过改写Fuego的全局UCT搜索算法,本文实现了封闭域UCT搜索算法,并在64个封闭域围棋死活问题上进行了测试.初步结果表明,封闭域UCT算法能够在不使用任何领域知识的情况下,把给定问题的初始分支系数从5~16降低到2.3以下.从正确率和速度两项指标来看,多个并行的局部UCT搜索的研究思路具备可行性.