一种低代价的云计算存储权限管理机制

以密文策略的属性加密体制(CP-ABE)的密文访问控制方案作为理论背景,设计出一种基于动态重加密的云存储权限撤销优化机制(DR-PRO).该机制利用(k,n)门限方案,将数据信息划分成若干块,动态地选取某一数据信息块实现重加密,依次通过数据划分、重构、传输、提取以及权限撤销等子算法完成用户访问权限撤销过程.理论分析与模拟实验表明,在保证云存储服务用户数据高安全性的前提下,DR-PRO机制有效降低了用户访问权限撤销的计算与带宽代价,其性能效率得到了进一步优化与提高.     

业务蜜网系统的有限自动机

通过诱骗容忍入侵者的破坏行为．蜜罐可以深入了解入侵工具和入侵目的等入侵行为信息，解决传统网络安全技术对未知入侵攻击无能为力的难题，直接或间接地提高系统网络安全性能。深入研究了蜜罐技术的高级实现形式蜜网系统．对比了业务型和研究型两种蜜网系统．并通过有限自动机形式化模拟了业务蜜网系统，描述了其状态转换过程，为业务蜜网系统的行为描述和结构设计提供了理论依据和论证。     

一个基于活体指纹的用户身份认证协议及其形式化分析

基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性.并且具有良好的执行效率.     

异常检测在报警关联分析中的应用

为了给报警关联提供时间控制以提高关联的合理性和效率将误报警流作为背景流量,真实报警作为整个报警流的异常.利用经典统计模型即均值方差模型检测报警流量强度的异常,进而把异常的时间段提供给报警关联,仅对异常时间段内的报警进行关联分析.实验显示,该检测模型能够为报警关联分析提供时间控制,使得关联分析能够取得更加精炼而有意义的结果.由于集中分析异常时间段内的报警,该模型可显著地帮助网络管理员节省时间和精力.     

开放系统环境中全局安全系统的设计与实现

在开放系统环境中,由于节点分散,资源易于动用和管理者距远莫及等原因,系统极易受到各种非法操作和恶意攻击的影响.因此,安全性是系统的一个非常重要的问题.文中介绍了一种基于交易器的开放系统环境,分析了该环境中的安全需求和全局安全系统的结构;提出了适用于该环境中的全局安全系统的设计方案,并实现了该全局安全系统原型.     

业务蜜网系统的有限自动机

通过诱骗容忍入侵者的破坏行为,蜜罐可以深入了解入侵工具和入侵目的等入侵行为信息,解决传统网络安全技术对未知入侵攻击无能为力的难题,直接或间接地提高系统网络安全性能.深入研究了蜜罐技术的高级实现形式蜜网系统,对比了业务型和研究型两种蜜网系统,并通过有限自动机形式化模拟了业务蜜网系统,描述了其状态转换过程,为业务蜜网系统的行为描述和结构设计提供了理论依据和论证.     

适用于ODP环境的多级全局安全系统的模型

提出了ＯＤＰ环境的全局安全系统的格模型，给出了其中安全域的表示和构造；在这一格模型的基础上，悍出了多安全级的全局安全系统的模型，该模型将安全系统中的安全域划分成了不同的安全级，并结合层次结构对安全系统进行组织和管理。     

软件工程人才培养探索与实践

Through explorations in fields of co-education by efforts of enterprises and the university,along with international communication and cooperation in variety,the Software School of University of Electronic Science and Technology of China has successfully shifted its training program featured with single-sided academic merits to a comprehensive system focused on comprehension,application and pragmatism.In principle of the conception of realizing the talents' seamless coupling with the enterprises' demand,the School takes as its very target to strive for the students' enterprises-oriented flexible employment.     

匿名通信系统时间攻击的时延规范化防御方法

为了防御针对匿名通信系统的时间攻击,提出一种基于数据包时延规范化的防御方法.该方法将数据流中所有时延间隔调整至一个固定值,防止攻击者嵌入标记信息,从而达到防御攻击的目的.该固定值利用经验指定法或者移动平均法确定.如果包间时延间隔小于该值,延长此包间时延间隔;如果包间时延间隔大于该值,则插入1个或者多个干扰包.这样可使得所有时延间隔相同且等于该固定值.对时间水印攻击的防御实验结果表明,该方法的防御效果不受攻击者选取的起始时间和用于嵌入水印的时间间隔影响.真实网络环境中的实验结果显示,时间水印攻击的错误识别率均值达到43.51%,证明了该方法的有效性.     

对称密钥分组密码探究型实验教学研究

信息安全是一个直接面向工程,面向实践应用的专业领域。为了提升信息安全专业本科学生的综合实践能力,文中以现代密码学的重要教学内容之一——对称密钥分组密码的实验课程建设为例,提出一套探究型实验教学的新模式。从实验教学设计和实验教学方法两方面,介绍探究型实验的设计和实践情况。