基于B/S模式的电力设备在线监测通用安全信息系统的研究

随着Internet/Intranet技术的普遍应用,电力行业中各种电力设备的在线监测信息系统都朝着基于Web的方向发展,当前各种在线监测信息系统都是采用传统的三层B/S结构。针对传统B/S三层体系结构的在线监测信息系统在安全性上存在的问题和不足,提出了一种新的B/S结构的四层安全体系结构,并对各层功能进行了定义,描述了四层通用安全信息系统的工作流程,并将此四层安全体系结构应用于实际的在线监测系统之中,效果良好。

SDL/MSC描述的通用安全服务原语

基于各种安全协议 (如 IPSec,TL SP等 )和安全系统 (如 Kerberos,SESAME等 )的分析 ,提出了通用安全服务原语 (GSSP)的概念 ,面向不同协议层次的调用者 ,GSSP屏蔽了底层安全机制的实现细节 .定义了 GSSP相关概念和一个最小服务原语集合 ,包括安全上下文管理、安全联合管理、报文封装原语 .用形式描述语言 SDL/ MSC描述了通用安全服务参考模型 .最后用 SDL 描述了一个基于 X.5 0

轨道交通信号系统通用安全中间件的研究

轨道交通信号系统中有多个安全计算机平台子系统,传统的各子系统的软件只根据自身的功能进行设计,忽略了各平台之间的共性,造成各子系统软件的重复开发。针对这种情况,进行安全计算机平台的共性分析,提出层次化、标准化、模块化、容错化、配置化的设计方法构建适用于各子系统的通用安全中间件系统,实现应用软件同平台底层软硬件之间的隔离,为上层各子系统的应用提供统一的应用编程接口(API),同时,实现安全计算机平台的安全管理并执行故障导向安全的运行策略。使用结果表明,该通用安全中间件系统可以很好地满足安全计算机平台各子系统的无差异化使用,大大降低软件研制费用和周期及维护和测试难度。

联网系统通用安全评测的标准化进展及解决方案

本文跟踪了国内外信息系统安全评测标准的研究进展和特点,提出了联网系统通用能力技术要求和全面评测规范相结合的解决方案,有效提高联网系统安全评测的全面性和高效性。

GB 25038-2024《鞋类通用安全性能》主要技术指标变化

为了准确理解和运用新标准,本文介绍了GB25038-2024《鞋类通用安全性能》国家强制性标准的主要技术指标,并采用对比分析的方法,比较并解读了新旧标准在适用范围、技术要求方面的主要差异。重点阐述了标准制修订的内容与依据,为国内相关检测机构和生产销售企业正确理解和运用标准、准确判定产品质量提供帮助与指导。

一种通用可组合安全的非交互式承诺方案

承诺方案是密码学中最基本的组件之一,是许多密码协议的基础,如零知识证明和安全多方计算协议。通用可组合安全在设计安全协议中具有重要意义,如果一种协议在通用可组合框架中可证明安全,那么即使该协议与任意(甚至不安全的)协议并发运行,它仍然保持安全性。现有的几种高效的通用可组合安全的承诺方案都是交互式协议,而非交互式的通用可组合承诺方案具有较高的协议计算量和通信复杂度。针对于此,本文在公共参考串模型下,提出一种高效的通用可组合安全的非交互式承诺方案。通用可组合承诺方案的关键设计思想在于同时实现可提取性和模棱两可性。在承诺阶段使用一种选择密文安全加密方案实现可提取性,在承诺打开阶段使用一种非交互式零知识证明,并利用一种双模式承诺方案保持协议的模棱两可性。该方案将承诺打开阶段的多轮通信改进为一轮,实现了非交互性。与现有的非交互式承诺方案相比,大大减少了计算量和通信量,提高了协议的效率。

通用车载安全平台及内部数据通信接口优化方案研究

为支持多种车载列控产品应用,提升产品的研发效率,对通用车载安全平台及其内部通信进行研究。通过分析通用车载安全平台需实现的功能和接口,确定其系统架构;设计千兆以太网通信,实现平台内部各功能板卡间的高效数据传输;对各功能板卡和内部网络采用冗余设计,提高平台的可用性;为通用车载安全平台的内部通信设计安全通信协议栈,确保数据传输的安全性、完整性、时效性、真实性、有序性。测试结果表明,该安全通信协议可防御标准GB/T24339.1和EN50159中针对封闭式传输系统定义的威胁,通用车载安全平台内部的网络传输时延满足实时性要求。

基于通用计算机的2乘2取2安全架构研究与实现

嵌入式安全平台存在硬件开发成本高、运算性能提升难、升级适配工作量大等限制。为此,研究基于通用计算机的2乘2取2安全架构,设计通用安全平台数据交互机制,实现系内、系间不同计算机之间的数据交互比较逻辑;系统内各计算机之间进行周期性时间校准,实现系统时钟的同步校准,保证2乘2取2机制长时间的稳定运行,构建满足SIL4安全等级的铁路信号通用安全平台。

IAEA关于辐射防护的安全要求在线学习模块

国际原子能机构(IAEA)安全标准通用安全要求(GSR)关于辐射防护和辐射源安全的第3部分的电子学习模块提供了辐射防护和辐射源安全要求的简明概述。IAEA安全标准和安保导则制定科科长多米尼克·德拉特雷说:“这是一项涵盖IAEA所有安全要求的更大规模电子学习倡议中的第一个”。在大约一个小时的时间里,有兴趣的人可以很好地了解安全要求,以及为什么它们对于将核科学和技术用于和平应用很重要。

通用可重组安全的多方求解Top-k协议设计

对于一个定点数多重集合S,第k小元素(又称Top-k元素) x∈S是指当集合中元素按照递增顺序排列时,刚好位于第k位置的元素.两方或多方安全求解它们输入的公共集合X的Top-k元素,是安全多方计算应用领域的经典案例.它能够使互不信任的多个数据持有方在不泄露自身数据的前提下,获取更大样本集合上的统计信息,从而实现隐私保护决策.本文提出了一种两方或多方分布式持有定点数数据的场景下,不依赖可信第三方,安全求解它们数据集合X中Top-k元素的协议,证明了其通用可重组(UC)安全性.协议使用了基于秘密分享的比较及加法安全多方计算协议作为构造模块,巧妙地从高到低按位依次确定并公布Top-k元素的p进制定点数表示.协议实现了O(logpM)的通信轮次复杂度,其中M为p进制数的最大取值, p为约定的定点数基数.实验证明,对于常见网络环境(包括局域网和广域网),当p=2^(i)(i=2,···, 8)时,协议的通信时间和总运行时间均显著优于其他现有的Top-k求解协议.

家电安全通用要求标准完成公开征求意见

经过多年的推进,家电强制性标准精简工作已取得初步成绩。2022年12月26日,GB/T 4706.1《家用和类似用途电器的安全第1部分:通用要求》(以下简称家电安全通用要求标准)完成公开征求意见。家电安全通用要求标准将替代GB 4706.1—2005《家用和类似用途电器的安全第1部分:通用要求》,是精简整合后的强制性国家标准《家用和类似用途电器电器安全》的配套支撑标准。

通用可组合安全的WLAN Mesh网络可信接入认证协议

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,策略执行点和策略决策点三者之间的用户认证和密钥确认,同时在第一轮交互中就实现了策略决策点对访问请求者平台身份的认证和平台完整性的校验,提高了协议执行的效率,降低了服务器端的负载。利用通用可组合安全模型对新协议进行了安全性证明,并对协议性能进行了对比分析。结果表明:新协议达到通用可组合安全,且与现有协议相比性能优势明显。

医疗设备通用电气安全质量控制的研究

目的:论述医疗设备通用电气安全质量控制工作的方法,并从检测数据中得出规律性因素。方法:运用独立样本t检验统计手段,以手术室和病房CF型设备的通用电气安全检测数据为例进行分析。结果:手术室和病房两组数据虽都符合国家标准,但受供电系统影响在统计学上存在显著差异。结论:供电系统和医疗设备是通用电气安全的两个方面,二者通过相互配合才能更好的开展通用电气安全的性能检测和质量控制。

引信电子安全系统片上可编程测试仪通用性技术

针对现有电子安全系统测试仪体积大、操作烦琐、环境适应性差、不能通用等问题,提出了一种基于AVR单片机的电子安全系统测试仪通用设计方法。通过测试模式自动识别、通用通信协议、一键通测试等技术实现了目前六种引信的自动识别、自动判别引信合格。测试验证结果表明电子安全系统测试仪很好地满足了设计要求,其界面良好、功能完善、使用方便,且具有易于功能扩展、设计升级、易于系统维护等优点。

医疗设备通用电气安全检测数据的分析研究

目的:研究分析医疗设备通用电气安全质量控制工作中积累的检测数据,从中得出数据规律性因素和部分统计学特征。方法:运用多种数理统计手段,以监护仪通用电气安全测量数据为例,分析测量环境对数据的影响,并分析原因所在。结果:统计结果表明,医院中不同的供电环境对测量数据存在较大影响,不同型号设备的参数之间存在显著差异。结论:数据统计分析是质量管理中不可或缺的环节,分析结果能够全方位反映医疗设备质量状况,能够为设备的质量管理提供第一手资料。

基于证人不可区分的通用可复合安全并行可否认认证

针对并行可否认认证问题,在UC(universally composable)安全框架中,基于WI(witnessindistinguishable)提出了一种新的研究思路和解决方法.根据可否认认证的安全目标,形式化地建立了UC安全的并行可否认认证模型.利用可验证平滑投影哈希函数和非承诺加密体制,构造了一类新的并行可否认认证协议结构,基于确定性复合剩余假设和确定性Diffie-Hellman假设,实现了一个具体的协议方案.在公共参考串模型中,利用UC框架解决并行协议仿真问题与定时假设和公共目录方案相比,不需要限定攻击者能力.新方案具备前向可否认性,是自适应攻击者UC安全的.不同于CCA2加密体制结构或多陷门承诺结构的并行可否认认证,协议效率得到了改善.

环境适应的通用多安全政策支持框架研究

在当今复杂多变的安全环境中 ,信息系统需要实施灵活完善的安全政策 在开发RFSOS安全操作系统和研究FLASK ,DTOS安全体系结构的基础上 ,提出能适应环境变化的多安全政策支持框架———Guards,在RFSOS中实现原型 ,并且依据

欧盟通用产品安全法律制度初探

欧盟通用产品安全法律制度的框架是通过两项具有里程碑意义的指令 (GPSD 92 / 5 9和GPSD 2 0 0 1/ 95 )来建立和完善的。这两项指令均为采用产品安全立法新模式的横向指令 ,即直接规定对生产者和销售商的通用产品安全义务———只能将安全产品投放市场。本文通过对两项指令重要条款的比较分析 。

通用可组合安全的多重数字签名

针对多重数字签名协议的安全性研究只是专注于单一协议执行时的安全性的现状,在通用可组合安全性框架下研究了多重数字签名协议在多协议并发执行时的安全性问题。首先形式化定义了多重数字签名协议的理想功能,然后基于Waters数字签名提出一个多重数字签名协议并证明其具有统一通信(UC)安全性。所提出的多重数字签名协议可安全地运行于互联网等多协议并发执行环境。