一种基于安全标签的单向身份认证技术

短波、超短波等窄带无线通信手段由于通信距离远、应用成本低仍然被广泛使用,针对窄带无线数据通信,提出了一种基于安全标签的单向身份认证技术,在为无线通信过程提供安全防护保障的同时,尽可能小地减少窄带无线信道带宽的占用,并通过实验评估安全认证功能对无线数据传输性能的影响。

安全配置策略自动生成与验证技术研究

针对网络信息系统安全设备体系需要快速响应、统一配置管理的需求,开展安全配置策略自动生成与验证技术研究,突破安全配置策略形式化描述、安全配置意图与策略映射模型构建及验证、安全配置策略自动转译、安全配置策略冲突检测及优化等关键技术,实现将网络安全配置意图准确快速转化为信息系统安全设备可识别执行的网络安全策略,提升大规模网络信息系统基础安全设施策略智能计算生成能力。

基于信任链的骚扰电话预判技术研究

当前,骚扰电话乱象屡禁不止,严重影响了人民群众的正常生活,甚至威胁到个人财产安全,因此简单有效地识别骚扰电话技术成为亟待解决的问题。区别于现有的对电话号码进行黑白名单标记、大数据分析等识别方法,提出基于信任链的骚扰电话预判技术,从可信度量的角度计算来电号码的可靠程度,并针对高危受害群体的典型应用场景进行分析,通过对骚扰电话的预判,降低其受到电话骚扰甚至电话诈骗的可能性。

一种快速低内存消耗的SMT全解求解器

SMT全解求解器为许多研究领域提供辅助,但现有的SMT全解求解器在速度、内存消耗或者支持的求解类型方面存在局限性。首先,提出了求解器的4种新的潜在应用;其次,设计了一种基于二分查找(Binary Search,BS)的新型求解器,可以支持多种求解类型,同时,结合上下文感知(Context Aware,CA)机制来提升求解器的速度,并通过暂停恢复(Suspend Resume,SR)机制降低内存消耗。初步试验表明,BS、BS+CA、BS+SR和所提方法分别能将传统的阻塞子句方法(Blocking Clauses Method,BCM)的求解速度提高了4.6倍、13.4倍、7.3倍以及32.4倍;与BCM相比,提出的方案的内存消耗降低至35.3%。此外,试验结果表明,可以通过并行化进一步提升方案的性能。

基于时间序列的网络行为异常检测

网络流量可以反映用户的网络行为,针对用户的网络行为,提出一种基于时间序列的异常检测方法。该方法首先对用户行为进行建模,预测用户行为发展趋势,再根据用户的实际行为进行异常检测。实验表明,该方法能够有效地检测用户的违规操作及网络攻击行为。

探寻新的感知和意义——哲学家德勒兹眼中的电影

法国哲学家德勒兹以运动-影像和时间-影像两个概念来把握电影艺术,对电影进行了别开生面的解读,在电影理论和哲学理论中均产生了深刻影响。运动-影像摄取了一段时空总体中的运动,它不仅复现了一般的运动,也创造了新的感知。而战后兴起的新影像类型时间-影像,则通过纯视听情境显露了时间的流逝。运动-影像向时间-影像的过渡,意味着人们不再按照固有的意义生活,而是不断重新解释世界的意义并产生新的行动。电影是一种新的实践,它要探寻新的感知和新的意义。