基于物理隔离系统的安全Web浏览技术

目前,因特网上web测览的安全问题引起了人们的普遍重视。本文介绍了基于物理隔离的信息交互系统,在物理隔离信息交互系统中,设计并实现了安全web浏览系统。该系统由web内部和外部代理服务器以及隔离硬件构成,可实现对HTTP请求—响应数据的处理,大大提高了web浏览的安全性。     

柔性制造系统的时间Petri网建模与分析

时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间 Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。     

一种基于固件的云系统策略文件完整性安全机制

针对云系统服务器之间共享策略文件所面临的完整性安全威胁,提出一种新的基于固件的策略安全机制。该机制可在云系统服务器平台之间安全且快速地进行共享策略文件交互,并可对共享策略文件进行完整性校验,进而提高协同工作的服务器所共享策略文件的安全性。实验结果表明,该机制有效实现了云系统环境下共享策略文件的完整性安全,同时提高了云系统管理员的管理效率。     

盲恒模多用户检测算法的实现和性能优化

介绍了盲恒模多用户检测算法的实现方法,并针对恒模算法代价函数的特性对该算法进行了优化,在检测之前加入了预白化处理,使接收信号呈现高斯信号的特性,改善了收敛条件。仿真实验表明,与非白化处理的效果相比,预白化处理后的盲算法具有更好的性能,抗远近效应问题效果更明显,收敛速度也明显增加,更适合于实际应用。     

ATM与异种计算机网络互连

此文在对比了ＡＴＭ网络模型与ＯＳＩ／ＲＭ异同的基础上，从计算机网络体系结构有度出发，阐述了ＡＴＭ与异种计算机网络互连的基本原理，分析了现有协议对ＡＴＭ网络互连的支持讨论了新一代ＩＰＶ６及路由器ＡＴＭ交换机结合技术对ＡＴＭ互连网络的推动。     

安全隔离与信息交换系统及其在电子政务中的应用研究

本文在回顾了网络隔离与安全信息交换技术发展的基础上，介绍了一种网络安全隔离与信息交换系SGAP实现方案。该方案采用专用软硬件技术实现了在隔离情况下的信息交换，同时内嵌的多种安全引擎可以较有效地保证传输信息的安全。     

基于模糊RED算法的IP拥塞控制机制

TCP／IP拥塞控制不能有效地支持Internet多媒体业务，模糊逻辑提供了解决复杂性、动态性和健壮性问题的一种非解析方法，文章基于模糊RED算法和区分服务提出了新的IP拥塞控制机制。与丢尾算法和普通RED算法相比，在保证QoS的同时，该算法不仅改善了TCP的吞吐量，而且使流量抖动较平缓，并克服了区分服务对连接公平性差的缺点。     

一种扩展了价格信息的时间Petri网

性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.     

Internet网络级安全系统设计

分析了因特网中的网络级安全问题。提出了两种网络级安全系统的设计途径。一 是在现有ＩＰ协议的基础上建立分组过滤路由器和代理服务器结合的防火 墙系统。另一种是在扩展 的安全协议基础上建立穿越因特网的ＶＰＮ安全系统。分别分析了其系统原理和设计原则。     

时间Petri网的随机模拟

模拟是Peri网进行系统分析的常用方法之一。由于时间Petri网采用时间区间来描述变迁实施的时间范围,因此变迁的实施时间点在区间内是不确定的。提出了时间Petri网的随机模拟方法。该方法在变迁开始使能时,根据某种随机分布确定实施区间内的实施时间点;然后基于模拟仿真的实验数据,运用统计分析方法及算法,构造时间Petri网状态类树,计算变迁实施区间及实施概率,为时间Petri网的系统模拟提供了一种新的探索途径。