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

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

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

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

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

摘要：在老龄化背景下,老旧小区公共空间适老化改造成为提高人居环境质量的重要途径之一。以湖州市潜庄公寓小区公共空间改造为例,以安全性、功能性和生态性为基本原则,从更新活动空间、优化照明环境、改进公共设施、提升交通空间的安全水平4个层面提出老旧小区公共空间适老化改造策略。实践证明,潜庄公寓的适老化改造方案贴合实际需要,满足老年人的安全需求和社交需求。

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

摘要：如今,各个行业都对5G技术的融合程度也越来越深。为此,需要做好5G系统的安全防护工作,从系统设计阶段就明确安全威胁、安全需求以及安全目标等。本文先表明目前5G系统所受到的安全威胁以及在安全方面的需求,然后明确5G系统的细致安全目标并阐述安全设计过程中需要遵从的原则,期望能够提升5G系统的安全性能。

摘要：老旧小区在城市中占比较大,是城市改造治理的重点区域。当前老旧小区照明条件差,对老年居民的夜间出行造成了极大不便与潜在威胁。该文以老年居民“安全需求”为导向,以自理老年人的基本身体状况和夜间行为特征为基础,通过理论梳理和实地调研的方式归纳出老旧小区交通、休闲、景观、辅助四大功能空间的照明环境特点。以北方三个典型老旧小区为例,基于观察、访谈和发放问卷的方法,得到老年居民对不同功能区夜间“安全感”的评价,并对安全感知影响因素和空间要素进行对照分析。提出基于老年居民安全感知影响因素的改造优化建议,以期为老旧小区适老化照明环境的提升建设提供参考。

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