检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向端到端溯源攻击对手的Tor安全性模型

计算机工程 2021年第11期47卷 136-143页

作者：王琦曹卫权梁杰李赟吴杰盲信号处理国家级重点实验室成都610041

Tor匿名通信系统在全球范围内被广泛部署与使用,但其抵御溯源攻击的能力有待进一步建模分析。为精确衡量Tor用户在端到端溯源攻击下的安全性,综合Tor节点选择算法、用户使用模式、溯源攻击对手能力等要素,建立针对端到端溯源攻击对手的... 详细信息

Tor匿名通信系统在全球范围内被广泛部署与使用,但其抵御溯源攻击的能力有待进一步建模分析。为精确衡量Tor用户在端到端溯源攻击下的安全性,综合Tor节点选择算法、用户使用模式、溯源攻击对手能力等要素,建立针对端到端溯源攻击对手的Tor安全性模型。经实验验证与分析结果表明,该模型可在统计意义下较精确计算对手捕获通信链路的概率及次数,以此衡量不同端到端溯源攻击对手对用户安全性的破坏程度。

关键词：洋葱路由器端到端溯源攻击对手安全性模型节点选择算法用户安全性

Web Service安全性模型及规范的研究

在线全文

学校读者我要写书评

暂无评论

教育信息化 2004年第10期 24-26页

作者：王旅广东省湛江市电视大学计算机教研室

Web服务为各种应用程序提供了全新的交互方式。当Web服务技术涌现在主流IT产业中,它的安全性显得尤为重要。本文描述了为解决Web服务环境中的安全性问题而提议的Web服务安全性模型,还描述了一组用于实现该模型的规范,这些规范保护了Web... 详细信息

Web服务为各种应用程序提供了全新的交互方式。当Web服务技术涌现在主流IT产业中,它的安全性显得尤为重要。本文描述了为解决Web服务环境中的安全性问题而提议的Web服务安全性模型,还描述了一组用于实现该模型的规范,这些规范保护了Web服务的完整性、机密性和安全性。

关键词： Web Service 安全性模型应用程序交互方式机密性安全性令牌规范

基于Petri网的城市轨道交通车辆子系统运营安全性模型

在线全文

学校读者我要写书评

暂无评论

交通运输工程与信息学报 2009年第4期7卷 109-113页

作者：张娣何杰东南大学交通学院南京210096

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆... 详细信息

本文提出了一种可用于分析城市轨道交通系统安全性的Petri网建模方法,将其用于轨道交通车辆运营安全性建模。该模型利用面向对象方法,将轨道交通车辆子系统分为三个对象处理模块,各个对象类之间通过消息库所连接,从而形成较完整的车辆子系统运营安全模型。

关键词：城市轨道交通车辆子系统安全性模型面向对象 Petri网

在线全文

学校读者我要写书评

暂无评论

基于模型的涡桨发动机安全性指标分配研究

工程机械文摘 2024年第1期 8-14页

作者：张晓爽罗宿明冷坤聂华菊中国航发湖南动力机械研究所湖南省株洲市412002

发动机安全性指标分配前提是确定发动机的功能逻辑,针对建立发动机功能逻辑模型是一个庞大的工程问题,以涡桨发动机安全性分析为依托,给出涡桨发动机的安全性建模和分析过程,安全性事件危险因素分析过程,建立基于模型的涡桨发动机安全... 详细信息

发动机安全性指标分配前提是确定发动机的功能逻辑,针对建立发动机功能逻辑模型是一个庞大的工程问题,以涡桨发动机安全性分析为依托,给出涡桨发动机的安全性建模和分析过程,安全性事件危险因素分析过程,建立基于模型的涡桨发动机安全性指标分配方法,可为其他发动机安全性分配提供参考。

关键词：安全性模型涡桨发动机故障树安全性指标分配危险因素分析

在线全文

学校读者我要写书评

暂无评论

基于涌现鉴别的安全性分析

系统工程与电子技术 2012年第11期34卷 2401-2406页

作者：龚时雨国防科学技术大学信息系统与管理学院湖南长沙410073

工程上对系统要素潜在危险交互作用的鉴别方法有迫切需求。论述了工程系统安全性是一种涌现特性,指出应将其作为复杂系统问题来开展研究。综合运用复杂性研究成果、功能模拟原理、目标树-成功树建模技术,提出了基于一体化安全风险模型... 详细信息

工程上对系统要素潜在危险交互作用的鉴别方法有迫切需求。论述了工程系统安全性是一种涌现特性,指出应将其作为复杂系统问题来开展研究。综合运用复杂性研究成果、功能模拟原理、目标树-成功树建模技术,提出了基于一体化安全风险模型开展涌现鉴别研究的基本方法。结合"阿波罗15号"飞船案例,验证了基于安全风险模型开展涌现鉴别的适用性。研究成果为解决复杂工程系统安全性问题提供了新的思路和分析手段。

关键词：系统安全工程安全性模型目标树-成功树潜在交互

不同分离方式下AUV载荷分离运动的安全性分析

在线全文

学校读者我要写书评

暂无评论

西北工业大学学报 2007年第6期25卷 773-777页

作者：李家旺宋保维邵成余德海杜晓旭西北工业大学航海学院陕西西安710072

考虑到分离运动中载荷与运载体之间的相互影响,建立了在不同分离方式下具有同一形式的多刚体运动方程,基于分离后载荷与运载体之间的距离理论,提出了一种分离安全度模型,对不同分离方式下的分离安全性进行了定量分析。结果表明,当运载... 详细信息

考虑到分离运动中载荷与运载体之间的相互影响,建立了在不同分离方式下具有同一形式的多刚体运动方程,基于分离后载荷与运载体之间的距离理论,提出了一种分离安全度模型,对不同分离方式下的分离安全性进行了定量分析。结果表明,当运载体为正浮力且无控时,采用推冲分离方式进行分离不会发生碰撞,且在一定条件下较重力解脱方式为优。

关键词： AUV 分离运动安全性模型分离方式

在线全文

学校读者我要写书评

暂无评论

复杂系统安全性建模、分析、控制与仿真研究

火力与指挥控制 2018年第7期43卷 1-9,13页

作者：胡剑波李俊郑磊邢晓波空军工程大学装备管理与无人机工程学院西安710051

复杂系统安全性的分析与控制要解决复杂系统危险源识别、不安全动作分析、危险致因因素识别、控制策略制定等任务,是一个包括系统建模、行为分析、控制作用设计以及系统仿真模拟等在内的复杂动态迭代过程。以系统安全性为主题,用系统思... 详细信息

复杂系统安全性的分析与控制要解决复杂系统危险源识别、不安全动作分析、危险致因因素识别、控制策略制定等任务,是一个包括系统建模、行为分析、控制作用设计以及系统仿真模拟等在内的复杂动态迭代过程。以系统安全性为主题,用系统思维方式来研究复杂系统安全性建模、安全性分析、安全性控制等问题。通过比较传统模型和系统思维模型,指出采用FRAM、STAMP等事故模型的必然性。通过比较传统分析和系统思维分析,指出采用FRAM、STPA等分析方法的优越性。依据复杂系统的安全性模型与分析需求,提出复杂系统安全性仿真系统整体架构和基于模型偏离与机器学习的安全性仿真方法,指出仿真方法在安全性分析中的重要作用。

关键词：安全性分析安全性控制安全性模型安全性仿真

在线全文

学校读者我要写书评

暂无评论

关于IPv6的安全性分析

长治学院学报 2014年第5期31卷 71-73页

作者：王文溥长治学院计算机系山西长治046011

基于IP发展历史的视角,对IPv6的特点进行了总结和回顾,对IPv6的安全机制进行了论述,同时,还就由IPv4转IPv6后的企业网络安全性模型提出了针对性的建议。

关键词： IPv6 企业网络安全性模型