摘要：以安全重构元为基础,能够提供高灵活性、适应性和可扩展性安全服务的可重构安全计算系统已成为当前安全研究领域的热点问题.目前,关于重构机理的研究主要采取基于功能候选集的静态重构配置生成方法,可重构安全系统作为一种主动安全防御手段,应具有动态自动重构的能力,避免人工介入导致的脆弱性.针对动态自动可重构安全系统的建模以及配置生成过程的描述问题,提出了一种基于直觉主义逻辑扩展的动态自动可重构安全系统逻辑模型SSPE,给出了逻辑模型SSPE上的语法和推理规则,设计了基于SSPE的等级化安全重构元和安全需求建模和表达方法,并给出了基于映射关系的安全重构元描述向逻辑语言的转换规则.最后,以IPSec协议为例,阐述了可重构安全系统重构配置的动态自动推理生成过程.基于直觉主义逻辑的可重构安全系统建模和配置生成方法,为研究可重构安全系统的重构机理提供了新的思路和方法,具有重要的意义.

摘要：计算机多频信号采集设备是解放军信息工程学院基础部数字技术教研室于1992年推出的新产品。为用计算机分析和处理视频信号、音频信号和其他10MHz以下的模拟信号以及传输速率在27Mbit/s以下的数字信号提供了必要的采集设备。本文就计算机多频信号采集设备的设计思路、实施方案、技术难点及其解决措施进行了论述。并介绍了硬件框图、各电路功能和软件功能及软件流程图。

摘要：以代码逆向分析得到的高级语言为基础,提取特征表达式作为算法的特征模式。综合考虑高级语言中表达式的恢复程度,设计严格相容与变形相容2种识别策略,在此基础上提出一种基于抽象语法树的算法特征表达式识别方法,利用该方法可较好地识别目标代码中包含的算法,提高代码的分析效率。

摘要：安全认证密钥协商协议的设计一直是著名难题,很多认证密钥协商协议在设计完成后都被发现存在一定的安全缺陷。文章首先对Lim等在2008年给出的一个基于身份的密钥协商协议进行了安全性分析,对该协议给出了会话状态暴露攻击和临时密钥泄露攻击。最后对Lim协议给出了可以抵抗这两种攻击的改进。

摘要：在法院信息化的过程中,针对民事审判庭书记员管理案件档案,构建了民事审判庭书记员收结案管理系统。系统采用C#+SQL Server开发,可以实现案件档案管理、收接案信息浏览等功能,为书记员管理案件信息提供了一个便捷的平台。