解决组合公钥共谋攻击和密钥碰撞的新方法

以解决组合公钥体制中共谋攻击和密钥碰撞问题为目的。首先,针对线性共谋攻击,提出了一种新的构造种子矩阵的方法,使得种子密钥和大于基点加法群的阶数,从而使密钥之间不能相互线性表示。其次在密钥的生产过程中,引入系数破坏了层不同和层互斥不同的关系,为解决选择共谋攻击提供了一种有效的方法,同时增强了抵御随机共谋攻击的能力。最后,在密钥产生的流程中,通过公钥对比来避免密钥碰撞,为解决密钥碰撞问题提出了一种新方法。     

高校公共基础课程教学改革与实践

就目前高等学校公共基础课程教育的现状,以计算机基础课程为例,探讨如何调整课程内容、尝试新型教学方式,论述如何开展公共基础课程教学方法与手段改革,通过课前、课堂和课后实施教学艺术,加强、充实实训内容,增进网络资源共享课程建设,促进教学质量提高。     

基于Web的重点建设项目管理系统

为提高重点建设项目的管理水平和工作效率,在详细分析重点建设项目的业务流程和用户需求的基础上,提出基于Web的重点建设项目信息管理系统。该系统采用典型的三层体系架构,具有较强的可扩展性和灵活性。通过该系统对重点建设项目信息科学管理,可以有效克服传统管理方式的弊端,极大地提高重点建设项目信息管理工作的效率。     

重力坝深层抗滑稳定设计初探

针对某水库重力坝坝基地层倾角平缓(8°~15°),基岩为薄层状结构,坝基深层抗滑设计是工程关键技术,在利用抗剪断强度理论进行坝基抗滑稳定计算的基础上,通过分析比较常见的坝基基础处理措施,最终确定重力坝坝基采用坝趾处设置混凝土深齿墙措施,可同时提高坝基浅层及深层抗滑稳定安全系数。     

New trends on e-Procurement applying semantic technologies: Current status and future challenges

The present paper introduces and reviews existing technology and research works in the field of e-Procurement. More specifically this survey aims to collect those relevant approaches that have tackled the challenge of delivering more advanced and intelligent e-Procurement management systems due to its relevance in the industry to afford more timely, adaptable and flexible decisions in purchasing processes. Although existing tools and techniques have demonstrated their ability to manage e-Procurement processes as a part of a supply management system there is a lack of interoperability among tools, tangled dependencies between processes or difficulties to exploit existing data and information to name a few that are preventing a proper use of the new dynamic and data-based environment. On the other hand semantic-based technologies emerge to provide the adequate building blocks to represent domain-knowledge and elevate the meaning of information resources through a common and shared data model (RDF) with a formal query language (SPARQL) and accessible via the Internet Protocols. In this sense the Linked Data effort has gained momentum to apply the principles of the aforementioned initiative to boost the re-use of information and data across different tools and processes. That is why authors review both existing open issues in the context e-Procurement with special focus on public procurement and semantic-based approaches to address them. To do so a preliminary research study is conducted to assess the state of the art in the context of e-Procurement and semantic-based systems. Afterwards main drawbacks of existing e-Procurement systems are presented to narrow down in semantic-based approaches applied to this field. Once the current status in both areas is reviewed, authors purpose the use and creation of an e-Procurement index to evaluate the quality of service of procurement systems. In this light the Analytical Hierarchy Process (AHP) method is used to set up an initial weight for each indicator in the index and to perform a first comparison between traditional and semantic-based approaches. Finally some discussion, conclusions and future challenges are also outlined.     

微信公众号服务网站在BAE3.0上的设计与实现

介绍了一种在BAE3.0上搭建Java-Tomcat类型的微信公众号服务网站的设计思路,以及使用百度开放云上的应用引擎、MySQL数据库、分布式日志服务和百度云存储等相关资源实现微信公众号服务网站的一般过程。     

标准模型下可证安全的属性基认证密钥交换协议

在Waters的属性基加密方案的基础上,提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议。在修改的BJM模型中,给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明。此外,针对无会话密钥托管的应用需求,在基本协议的基础上,构造了能够有效防止会话密钥托管的属性基认证密钥交换协议。在计算效率方面,所提协议与现有的仅在随机预言模型下可证安全的属性基认证密钥交换协议相当。     

一种道路车辆监控视频中的关键帧提取方法

针对道路监控视频中特定车辆图像序列的关键帧提取问题,在运动对象检测的基础上,提出一种关键帧提取方法。将积分通道特征和面积特征作为图像特征描述子,结合Ada Boost训练分类器,实现道路监控视频车辆序列图像中关键帧的提取。通过运动对象前景检测技术获得出现在监控区域的运动车辆最小外接矩形图像序列,选择满足监控分析需求(车牌清晰度高,能判断车型)的若干帧作为正样本,其他不满足监控分析需求的作为负样本,提取样本图像的面积特征和积分通道特征,利用Ada Boost方法训练得到一个分类器,使用Ada Boost分类器对测试样本进行分类,根据打分规则提取关键帧。实验结果表明,该方法能提取运动车辆从进入到离开监控区域的序列图像帧中最清晰的图像,实现道路车辆监控视频分析数据的有效压缩。     

Differential geometry based active fault tolerant control for aircraft

This work shows how to use a differential geometry tool to design a novel nonlinear active fault tolerant flight control system for aircraft. The proposed control scheme consists of two main subsystems: a controller, which is designed for the nominal plant, and a fault detection and diagnosis module, which provides fault estimation. A further feedback loop exploits the fault estimation to accommodate faults affecting the system. The estimate convergence and the stability of the active fault tolerant flight controller are theoretically proved. Finally, high fidelity simulations show the effectiveness of the scheme.     

无线传感器网络中一次性数字签名算法设计

一次性数字签名算法是构造密码协议的基础算法,可用于认证无线传感器网络(WSN)中传输数据的真实性和完整性。针对WSN的应用需求,给出一种高效的一次性数字签名算法。与现有一次性签名算法相比,该算法生成签名简单快捷,只需执行一次模指数乘法运算;签名长度短,只需传输一个群元素;适用范围广,能根据待签名消息的长度自动适配对应的公钥参数,该特性非常适合WSN中数据传输量较小的应用;同时该算法还能在标准模型下得到形式化的安全证明,其抗伪造攻击安全性可归约为双线性映射群中计算的Diffie-Hellman数学难题。