摘要：提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.

摘要：网络空间安全试验场是进行网络空间安全研究、学习、测试、验证和演练必不可少的网络核心基础设施。分析对比国内外网络安全试验场的现状,提出了一种面向先进防御技术的网络安全试验场构建方法。该方法分析网络空间先进防御技术试验场的设计目标和具体需求,明确管理体系架构及规范标准,细化安全防护及技术体系,采用基于面向对象的思想构建面向网络空间先进防御技术试验场,可为网络空间先进防御技术的验证、改进和先进防御产品的开发试验提供支撑。

摘要：针对大数据平台下用户隐私保护问题,本文设计大数据加密方案,在客户端对数据加密,并控制数据加密过程和安全存储加密密钥。用户隐私数据加密以后再传到大数据平台上,并对服务端传回的密文数据进行解密获得明文,而大数据平台服务商只能看到密文,数据控制权完全在用户手中,从而有效预防服务商窃取用户隐私数据的威胁。本文在已有大数据安全保护技术的基础上,实现了大数据环境不同场景下的大数据加密方案,包括分布式文件加密、分布式数据库加密和关系数据库加密,具有很强的可适用性。

摘要：为了实现石墨烯的双模吸收,将石墨烯条带嵌入到缺陷光子晶体,采用严格耦合波法进行了仿真研究,并进行了关键参量的影响分析。发现由于Fabry-Pérot谐振和表面等离子激元共振的共同作用,系统在5.1537THz和5.1970THz处获得了两个完美吸收模式,此时结构阻抗等于自由空间阻抗。结果表明,电调谐石墨烯化学势不仅能够改变模式数目,还能够改变模式的耦合程度;当化学势为0.7eV时,两吸收模完全耦合;调节石墨烯条带的几何尺寸也能控制模式的耦合程度;当入射光偏离垂直入射时,模式数目直接受偏角大小的影响。该研究为太赫兹器件吸收谱的重构提供了思路。

摘要：现代通信系统采用的宽带传输体制已成为无线电监测的重要目标。如何在满足数字化处理单元硬件开销的前提下,实现对宽带信号的载频、带宽、调制样式以及符号速率的准确检测,对宽带信号监测的工程实现有着重要意义。通过分析宽带信号检测的算法原理,设计了一种基于现场可编程逻辑器件(Field-Programmable Gate Array,FPGA)的宽带信号检测实现方案和流程。该方案充分考虑了典型宽带信号的带宽和调制特点,在满足调制样式识别和符号速率识别准确率的基础上节省了硬件资源。