一种基于Minifilter的文件安全保护系统

针对操作系统中数据文件可能出现的文件泄露等安全性问题,在研究了访问控制领域经典的BLP和Biba模型的基础上,提出了一种可同时维护数据文件保密性和完整性的新强制访问控制模型.同时,结合Minifilter文件系统过滤驱动程序开发并实现一种文件安全保护系统,对核心逻辑和关键模块进行了详细介绍.该系统能根据既定策略有效地保护系统的文件安全,为数据保护提供了一种新的解决方案.     

基于LIN总线的主从式自适应前照灯控制系统

自适应前照灯系统(Adaptive Front-Lighting System,AFS)是一种和行车安全息息相关的主动式安全系统;根据其功能要求,开发了一套自适应前照灯系统的硬件结构,使用基于LM2576的电源系统为整个系统供电模块,采用由AFS主控模块和电机驱动模块组成的主从式结构,其中AFS主控模块用于采集车辆信息,动力学模型计算和电机控制信号输出,电机驱动模块接收控制信号,并驱动电机运动,两者之间采用LIN总线作为通讯链路;实验表明,该系统能够实现车灯随动的功能,车灯偏转角的误差约为0.2°,满足自适应前照灯系统的控制要求;该系统的研制将为后续实车动力学控制模型研究和算法设计奠定基础。     

智能卡安全性评估保护轮廓PP的研究

在介绍智能卡安全性评估的相关知识后,重点分析了EAL4+级智能卡保护轮廓中应包括的安全环境、安全目的和要满足的安全要求,指出了智能卡安全性评估保护轮廓发展的趋势,为下一步PP的开发实现做准备.     

基于VC++的变电站监控软件通信模块设计

工业变电站监控软件系统中通信模块的设计开发,将直接关系到现场监控器与上位机及上位操控命令间安全可靠实时的进行信息交互.针对工业变电站监控软件的开发,基于VC 平台和UART协议,提出了一种监控软件通信模块设计方案,开发了通信软件模块,并与变电站微机监控器进行了联网调试.结果表明,该通信模块实现了与相关协议微机监控器间安全、稳定和实时的数据通信,各项指标符合设计要求,验证了该通信模块的有效性.     

基于数字证书的身份认证系统的设计与实现

身份认证技术是能够对信息收发方进行真实身份鉴别的技术,是保护网络信息资源安全的第一道大门,在安全系统中的地位极其重要.提出了一种基于数字证书进行身份认证的方法,构建了身份认证系统模型方案,采用OpenSSL软件包,Ubuntu作为服务器操作系统,Tomcat作为WEB服务器软件,设计一个基于数字证书的身份认证系统,以网站登录注册系统为例实现身份认证.本系统由四大模块组成,有登录模块、注册模块、数据加密模块、数字证书处理模块,能够实现用户身份认证.系统模块实现结果表明,该系统安全可靠、易维护,具有良好的可扩展性.     

基于逻辑关系和约束的保护轮廓生成模型研究

提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。     

基于多agent与proxy技术的日志提取分析系统设计*

提出了一个新的agent模型,并以该模型为基础,设计了一个基于multi-agent与proxy技术的日志提取分析系统模型;同时详细分析了该系统的总体结构模型、主要模块设计以及采用多种安全机制来保证日志信息完整性和一致性.     

一种基于分层Petri网的软件工作流开发模型

软件开发模型很多,基于Web的三层结构的软件设计开发模型的关键是要考虑它的并发性.本文提出一种基于分层Petri网的Web软件开发模型.该模型对基本有限自动机进行了扩充;将扩充后的有限自动机转换成为分层状态图;根据分层状态图转换成为多功能视图;在此基础上进行软件开发.最后将这个模型发展成为分层Petri网模型,使模型更具描述能力.利用这个开发模型可以方便地进行需求分析和描述;只需开发功能子服务组件或模块,便可进行新的软件开发、系统扩充以及后来的系统重构.     

基于VB的选煤厂带式输送机保护查询系统设计

以大平矿选煤厂带式输送机保护系统为背景,介绍了一种基于VB的选煤厂带式输送机保护查询系统的设计,详细介绍了该系统的结构、系统数据库的访问和操作。该系统实现了对带式输送机保护数据的查询、导出和打印等功能,为选煤厂安全生产提供了帮助。     

水下分散自重构系统设计

研究一种新的水下系统设计概念,水下分散自重构系统.该系统由数量不定的少数几类相似模块组 成,通过模块之间的连接和分离,可以实时改变系统构形.通过模块的协调变形,可以实现不同的运动方式.开发了 一个基本的样机系统,称为USS.USS目前只包括一类模块,可以实现2 种平面基本构形和2种空间基本构形.由于 具有浮力调节能力,可以通过平面构形实现海洋水体空间机动,以及海底和水下结构物中的运动.