摘要：采用数学形式化方法对操作系统进行设计和验证可以保证系统的高度安全性.目前已有的操作系统形式化研究工作主要是验证系统的实现在代码级的程序正确性.提出一种操作系统形式化设计和验证的方法,采用操作系统对象语义模型(OSOSM)对系统的设计进行形式化建模,使用带有时序逻辑的高阶逻辑对操作系统的安全需求进行分析和定义.对象语义模型作为系统设计和形式化验证的联系.以实现和验证过的可信微内核操作系统VTOS为实例,阐述形式化设计和安全需求分析,并使用定理证明器Isabelle/HOL①对系统的设计和安全需求的一致性进行验证,表明VTOS达到预期的安全性.

摘要：目的探索基于安全需求的城市公共设施创新设计原则。方法以工业设计思想为出发点,通过系统分析、问题归纳、用户调研、实践论证等方法,对城市公共设施的安全性设计问题进行系统研究。结论公共设施安全保障能力的缺失以及设计的相对落后,使得由于公共设施引发的安全事故频发,基于安全需求的设计可从社会公平的需求、准确与快速认知的需求、保护隐私与观测环境的需求平衡以及用户综合体验等4个方面展开,以提升社会幸福感为前提,进行城市公共设施的设计与设置。

摘要：研究了数据仓库安全需求的形式化描述.阐述了数据仓库的几种主要安全需求,在多维表达式查询语言(MDX)的基础上,使用与微软SQLSERVER数据库中CREATECUBE语句类似的语法定义了一种多维安全约束语言(MDSCL)来描述数据仓库的安全策略.以典型的销售立方体为例,给出了多维安全约束语言支持的几种安全约束类型.结果表明,用多维安全约束语言表示的安全模型符合数据仓库的开放本质,能够描述数据仓库的大部分安全需求,实用性强,方便系统管理员、设计人员及终端用户理解和运用.

摘要：随着我国高速铁路的蓬勃发展,高速铁路无线通信系统对网络安全技术的要求也不断提高。高速铁路无线通信系统是保障安全运行的关键信息化系统,目前主要由铁路GSM-R网络提供各类通信服务。身份认证技术是保障网络安全的最重要核心技术,同时也是保障高速铁路安全运行的第一道防线。介绍高速铁路无线通信系统,重点描述GSM-R和LTE-R的基本系统架构和标准身份认证协议,论述身份认证协议中存在的安全漏洞并回顾相关改进研究成果。对高铁无线通信协议的安全需求进行分析和总结,并提出进一步加强高速铁路通信设计与优化工作的途径。

摘要：近年来,安全需求工程逐渐成为软件工程领域的研究热点之一。在开发周期的早期阶段引进安全分析和安全工程实践比在应用设计阶段才引进分析的投资回报要高出12%-21%。归纳安全需求工程发展过程及其主要研究活动,给出安全需求工程的相关定义,并分析了几个典型的安全需求工程框架。通过总结安全需求工程领域的若干研究活动,提出安全需求工程研究的两大思路,并从6个方面介绍安全需求工程的研究进展,探讨安全需求工程研究存在的不足。作为总结,给出了安全需求工程领域最有前途的发展方向。

摘要：以应答器应用为重点,介绍匈塞铁路贝尔格莱德—诺维萨德段的ETCS-2系统。基于ETCS相关规范,阐述该ETCS-2系统应答器相关危害、各危害关联的安全需求。结合工程应用,给出各相关安全需求在实践中的通常处理方法。安全需求中的ETCS_TR04和ETCS_TR05涉及定量RAMS估计,要求结合工程应用提出应答器的检测间隔、维修时间。应答器的平均失效时间由厂家提供,不可用度要求通过ETCS规范得到,推导得出应答器平均修复时间与其平均失效时间、不可用度的关系,并给出应答器平均修复时间与其检测间隔、维修时间的关系;CTCS应答器维修策略的制定方法与ETCS显著不同,CTCS采用后验方法制定应答器维修策略,通过应用实践证明相关风险可接受。

摘要：安全性是现代软件系统的重要组成部分,安全需求建模是确保软件安全性的基础。针对软件安全需求,提出了一种基于UML安全扩展(UMLsec)的软件安全需求建模方法。在软件需求规格说明的基础上,获取安全需求,对安全需求进行描述,并将安全需求描述集成到功能需求模型中,构建安全需求模型,并对模型进行了验证。科研信息系统实例表明了该方法的有效性。

摘要：在数字化时代,校园网络成为教育资源和信息交流的重要载体,其安全性直接关系到师生个人信息、学术研究数据以及教育资源的保护。然而,校园网络面临着病毒侵害、黑客攻击、内部数据泄露等多种安全威胁,这迫切需要新一代的安全防御技术来应对。本文首先对校园网络的特点与安全需求进行了深入分析,进而详细阐述了基于人工智能(Artificial Intelligence,AI)大模型的校园网络安全防御系统的设计,包括系统架构设计、关键技术选型、AI模型的训练数据准备与预处理,以及针对校园网络特点的模型定制、更新与维护机制,为系统的稳定运行提供帮助。

摘要：随着高校信息化网络建设的不断深入和完善,校园网已经成为学生日常生活中不可或缺的关键部分,对学生学习和生活具有至关重要的作用。但是当前我国高校校园网安全体系构建并不完善,各项安全建设水平高低不一,安全问题突出,如何设计新时代中的高质量、高效益的校园网安全体系已经成为人们关注的焦点。文章从高校校园网安全需求出发,在上述基础上对安全方案设计内容进行探究,望为今后高校校园网建设提供一些参考。

摘要：目的了解急诊患者输液时的安全需求。方法采用自行设计的问卷对随机选择的100例急诊输液患者进行调查分析。结果急诊输液患者对疾病及药物相关知识的需求、对急诊输液室环境清洁及输液环节的担心居于前列。结论加大健康教育力度、完善输液环境设施、保证输液室空气及环境清洁、强调护士慎独意识和慎独行为是赢得患者信任、增加其输液安全感的关键。