基于图形转换的组合状态安全性验证技术

受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出了组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证。     

基于协同设计的民机安全性分析系统研究

阐述了访问控制机制和冲突检测机制等民机安全性协同设计关键技术.分析了民用飞机安全设计评估程序,基于协同设计提出民机安全性系统总体框架,初步建立了民机安全性协同设计平台.     

基于uni-app+SpringBoot的移动智能办公系统设计与实现

随着物联网、人工智能等信息技术的发展,企业对在线办公的使用便捷性、安全性等方面提出了更高的要求.为了解决现有办公软件安装和操作繁琐、人性化和安全性方面不足等问题,本研究设计并实现一个基于uni-app和SpringBoot框架的移动智能办公系统.该系统采用Shiro和JWT技术实现了用户身份认证和权限授权;使用Docker构建人脸识别运行环境,实现拍照签到,并采用GPS定位和本地宝技术,实现员工签到地疫情风险管理;采用轮询机制实现消息的自动接收和推送,并通过异步多线程向RabbitMQ发送公告以实现消息数据的缓存,从而减少数据库写入压力.经测试表明,本系统可有效地进行身份认证与授权、消息的自动推送与接收、视频会议的创建与编辑、拍照签到、签到地疫情风险管理、考勤统计等,数据传输稳定性好,人机操作界面稳定易用.因此,本系统能有效地提高团队间的沟通效率和在线办公质量,并提供更人性化和便捷的用户体验,对推进在线办公智能化、信息化建设具有重要意义.     

校园疫情防控平台的设计与实现

通过采用当下主流的框架技术,包括SpringBoot、Vue和Uni-App等前后端框架和Apache ECharts、MySQL、Flyway和Redis数据库等技术,以及Stylefeng开源技术、Selenium动态爬取技术、JWT和Shiro安全验证技术,设计和实现了一个校园疫情防控平台。该平台细分为五大子系统,分别为电脑端疫情信息管理、电脑端智疫图数据展示、电脑端疫情知识题库与刷题、手机端疫情信息上报和手机端疫情信息管理适配系统。多端多系统的设计正是为了适应高校防疫的多样性,本平台可高效应对高校的疫情防控。本平台各系统操作简单、管理高效、易于维护、具有较高的安全性。     

基于SSL协议的VPN系统实现及安全性研究

通过对SSL协议的分析研究,在Linux操作系统环境下,利用开源软件OpenVPN实现基于SSL协议的VPN系统。使用Wireshark抓包分析工具对OpenVPN系统性能进行测试分析,结果表明该系统有效解决了数据传输的安全性和可靠性问题。最后采用Grails开发框架设计了基于Web的文件分发系统,解决OpenVPN系统用户端证书、密钥等文件的安全分发问题。     

基于SOA的水利构件研究

针对目前水利应用软件重复开发、不能灵活部署和系统安全性差等问题,采用基于SOA体系结构的设计思想和方法,设计了一种基于Web服务的水利构件框架,给出了水利业务构件的Web服务描述模型以及基于构件框架实例的具体设计与开发过程。取得了在此框架上快速搭建高复用性业务应用的效果,为解决基于SOA的构件式水利软件设计与开发提供了参考。     

如何运用访问控制技术解决实际应用系统的安全问题

针对如何运用访问控制技术解决实际应用系统的安全性问题,对企业外部网的访问控制技术与系统进行了研究,比较了3种企业外部网访问控制方案,提出基于SOCKS技术的企业外部网网络框架,实现了一种安全、有效的企业外部网系统。     

基于自定义主体和身份的窗体验证

综合了数据库技术、面向对象设计技术、操作系统权限管理、NET框架中基于代码访问安全性和基于角色访问安全性等多方面技术,提出采用自定义主体Principal和身份Identity实现基于窗体的验证思想,构建了一个灵活方便的安全权限管理系统。该系统可以用于多数WEB系统中,作为通用的安全权限管理模块。     

以Struts框架构建Web系统的安全性设计

Struts是基于Servlet,Jsp以及标签库技术的一个实现良好的MVC框架,可以更快的利用MVC理论进行Web系统的设计和开发,对于任何一个完善的Web系统来说,安全性设计都是一项重要的内容,文章介绍了Struts框架,以及在该框架下实现的Web系统中,如何实现安全性设计.     

基于Struts的科技项目管理与评价系统的实现

随着信息化技术的发展,对科技项目的管理与评价系统在安全性、高效性、可复用性、可维护性、开发周期等方面都有很高的要求,因此,使用良好的体系结构和框架是系统开发的首要问题.本文基于MVC模式Struts框架,结合科技项目管理与评价的特点,设计了满足人们需要的科技项目的管理与评价系统.     

嵌入式构件系统Pcanel平台上的构件行为控制

通过为普通构件或构件群添加接口控制构件的方法实现了构件行为运行时的动态控制和配置,对构件系统性能和安全性等非功能性问题提出解决方案,最后通过构件框架组合实现了与原构件系统的兼容.     

数字城市中的企业网络信息安全系统

针对企业网络信息安全的需要构建了企业网络信息安全体系框架和模型,并做出了总体方案及几种典型应用系统信息安全的设计方案。     

智能小区网络安全防御系统

设计了基于多组件协作机制的智能小区网络安全防御系统,并分析了该系统的优点。     

基于802.1x和Web Portal认证技术的校园网用户端点准入控制系统的设计及应用

分析了当前高校校园计算机网络的网络安全和控制问题,指出原有认证系统无法满足现有的安全需求.探讨了基于802.1x和Web Portal认证技术的用户端点准入控制系统,并提出某高校校园网的实际组网设计及应用方式以解决网络安全和控制问题.     

少数民族地区高校计算机基础课程系统动态设计研究

针对西部少数民族地区南等院校计算机基础课程教育的现状及发展趋势,提出了计算机基础课程系统总体设计的框架及计算机基础课程动态化设计的具体改革方案.     

数字档案馆安全系统模型分析

在讨论数字档案系统安全性原则和实施步骤基础上,给出了系统安全架构的总体设计思路,并采用模糊评估和定性计算的方法对系统安全进行了控制和管理。     

输电线路地理信息系统数据库的研究与设计

分析了输电线路运行检修与管理所涉及到的线路、杆塔、设备以及日常管理工作中的数据与信息流,提出了以GIS(地理信息系统)软件和数据库软件分别管理输电线路数据的方法,构建了输电线路地理信息系统数据库的框架.输电线路的空间(图形)数据采用GIS软件进行管理,非空间(属性)数据采用关系数据库管理,两者通过集成地图开发的方式进行关联.数据库设计时,定义了设备之间的连接关系与从属关系,例如输电线路与杆塔、杆塔与塔头等,可依据这些关系对设备和输电网络进行追踪.整个系统数据库基于C/S(客户机/服务器)结构,实现网络共享和系统安全性功能.     

基于嵌入式WEB服务器的智能家居远程监控系统

将智能家居、嵌入式系统和WEB服务器三者结合起来,研究并构建了嵌入式WEB服务器,设计了基于嵌入式WEB服务器的家电监控系统方案,使得用户可以方便地在任何能够接入Internet的地方,通过浏览器实现对家电设备的控制。另外,系统还基于Qt用户图形接口设计了一个图形化控制界面,本地也可以通过触摸屏的输入实现对家电设备的控制。因此该方案是一个功能齐全、方便实用的家电远程监控系统。     

基于B／S结构的企业科研管理系统开发与应用

针对中金岭南凡口铅锌矿科研管理的特点及在对需求进行分析的基础上，设计了一个基于B／S结构的企业科研管理系统，实现了该企业科研管理信息数据库的创建及科研信息的录入、查询、修改与打印功能，对系统的安全性设计也给出了相应的措施．