构件化软件系统安全性分析技术研究

复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。     

OGSA标准下的电子商务安全框架

本文主要讨介绍了OGSA的安全体系结构,分析了电子商务安全需求和安全技术,提出了OGSA标准下的电子商务安全框架,并对其安全性能进行分析与评价。     

在役门座式起重机应力测试技术探讨

为保证港口在役大型门座起重机长期运行的安全,对其金属结构在不同载荷条件下承载能力的定期评价工作就显得非常必要。本文对某港口一台使用了25年,型号为MQ1030门座起重机主金属结构采用现场应变电测技术进行测试,并经相应的数据处理转化为应力,通过对5个典型工况的综合测试,得出该起重机主金属结构最大动应力为136.34MPa,并对金属结构损伤和承载能力进行了较为全面地评价。本次应变电测数据还为该机后期的典型载荷编制和疲劳寿命计算提供参考依据。     

校园网安全解决方案的分析与设计

校园网在运行过程中面临各种安全威胁,针对校园网的现状,提出了基于校园网安全运行的相关解决方案。对网络管理等多方面提出了相应的措施。     

浅谈计算机网络安全及相关安全对策

随着信息产业的高速发展,计算机网络也迅速普及,各部门都利用互联网建立自己的信息系统渗透到我们生活的各个角落。以充分利用各类信息资源。但在连接信息能力、流通能力提高的同时,基于网络连接的安全问题也日益突出。然而,网络自身固有其脆弱性,并且中国的网络信息技术起步较晚,给网络安全带来诸多潜在的威胁。本文针对影响计算机网络系统安全的主要因素,结合实际工作进行分析,并提出相应的对策进行探讨。     

油气系统工程从系统工程角度看油气业的安全和环境保护

本文从系统工程的角度对石油天然气工业的整体作系统分析,并从资源和环境的挑战和机遇进行讨论,强调其中资源是关键的,它是客观存在的,条件是困难的,需要不断投入,加强研究,努力创新。强调建立健康安全环境HSE体系的重要性和必要性,同时给出墨西哥湾BP深水地平线平台事故造成严重后果的案例。最后给出了简单结论-如何面对和适宜采取的措施,如面对一个油气工程系统必须作好系统分析,用系统工程的办法去解决,要以人为本,从上层至基层,注意人为因素,严格完整地采用和发展HSE体系的作用无疑是极为有效的方法。     

Theory and implementation of path planning by negotiation for decentralized agents

This paper presents a cooperative decentralized path-planning algorithm for a group of autonomous agents that provides guaranteed collision-free trajectories in real-time. The algorithm is robust with respect to arbitrary delays in the wireless traffic, possible sources being transmission time and error correction. Agents move on reserved areas which are guaranteed not to intersect, therefore ensuring safety. A handshaking procedure guarantees recent information states for the agents. Conflicts between agents are resolved by a cost-based negotiation process. The basic algorithm is augmented by the introduction of waypoints, which increase performance at the cost of additional wireless traffic. An implementation of the algorithm is tested in simulation and successfully applied to a real system of autonomous robots. The results are presented and discussed.     

基于偏序简化的并发系统验证

构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法.     

一种RFID系统反跟踪安全通信协议

典型RFID标签在计算能力和通信、存储等方面的能力受到严格限制,如何保证RFID系统的安全性对传统安全问题提出了许多挑战。提出一种不可追踪的RFID通信协议UNTRACE,在标签端只需要计算一个密钥hash函数,以最小的代价实现标签和阅读器之间的交互,同时后端服务器的计算代价也很低。通用的协议分析方法证明此协议的性能与已经提出的协议相当,而计算代价较低。     

轨道交通站台安全门控制系统

轨道交通站台安全门作为公共安全防护设备,广泛应用在地铁、轻轨等轨道交通中的高架和地面站台上,具有节能、环保和安全功能。因此它在设计、制造、安装过程中需要充分考虑其自身的可靠性及乘客安全、行车安全。本文将对安全门系统的网络、控制及软件三方面进行详细论述。