检索结果-南通市图书馆

高速铁路信号系统安全证据链可追踪性方法研究

在线全文

学校读者我要写书评

暂无评论

高速铁路信号系统安全证据链可追踪性方法研究

作者：徐莹莹北京交通大学

学位级别：硕士

随着高速铁路信号系统功能完整性和结构复杂性的日益增加,安全评估成为评价其系统安全性水平的重要机制与技术手段.。目前,我国轨道交通信号系统的安全评估工作的主要内容是依据行业安全进行符合性评价,该工作涉及到评价大量的技术性与... 详细信息

随着高速铁路信号系统功能完整性和结构复杂性的日益增加,安全评估成为评价其系统安全性水平的重要机制与技术手段.。目前,我国轨道交通信号系统的安全评估工作的主要内容是依据行业安全进行符合性评价,该工作涉及到评价大量的技术性与管理性证据文档,但是缺少有效的安全证据追踪方法实现对安全评估工作中的各类安全证据的组织与评价。尤其是在系统安全需求或者安全目标变更时,需要有效的评价技术方法来对安全证据的可信性进行影响分析。本文针对我国高速铁路信号系统安全评估中安全证据追踪问题,依据国际安全标准的要求和建议,以及安全苛求系统领域对安全证据链可追踪性的研究,建立了高速铁路信号系统的安全证据链可追踪性的研究方法。基于安全证据链模型建立了追踪形式与追踪路径,基于UML扩展机制建立安全标准、行业规范以及良好实践中的基线模型,结合异质网络特征将其转换为可追踪的模型,并从证据链结构符合性与可信性两个角度给出安全证据链追踪的评价指标。本论文的研究内容及成果主要包括以下几个方面:(1)结合安全证据生命周期以及EN50129基线模型,建立安全证据链的可追踪模型。EN50129基线模型基于OPENCOSS项目中的元模型建立。从文本形式的标准中,提取出仅包含追踪体和追踪链的安全证据链追踪模型。(2)基于软件需求追踪,设计了安全证据链追踪过程模型,并从追踪体的产生、更新和失效角度,分析安全证据链的追踪场景。在不同的追踪场景下,安全证据链的追踪形式包括单点追踪和安全证据链的路径追踪。(3)建立安全证据链追踪的评价体系。基于安全论证的思维,从安全证据支持符合性的角度,建立安全证据链论证结构的符合性指标,并从安全证据和安全证据之间的关系,建立安全证据链的可信性评价指标。(4)结合高速铁路ATP系统的安全证明文件,建立其基线模型、安全证据链追踪模型,并根据其安全所建模型,分别从安全论证和安全证据可信性角度给出评价指标。

关键词：高速铁路信号系统安全评估安全标准安全证据安全证据链追踪模型可追踪性

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

几个群签名方案的不可追踪性

微计算机信息 2007年第30期23卷 68-69,44页

作者：杨越欧海文西安电子科技大学西安710071 北京电子科技学院信息安全与保密重点实验室北京100070

一个群签名方案允许每一个群成员代表群匿名进行签名。在发生争议时,群管理员能够追踪一个合法群签名的签名者。本文中,我们用一个新的简单攻击来说明几个群签名方案不具有可追踪性。

关键词：群签名可追踪性

在线全文

学校读者我要写书评

暂无评论

两个群签名方案的不可追踪性(英文)

中国科学院研究生院学报 2007年第2期24卷 253-256页

作者：曹正军上海大学数学系

群签名允许每个成员代表整个群体作出签名,它是构造电子现金、电子拍卖、电子选举方案的基本工具.本文通过极其简单的攻击方法证明Zhang et al在2003年和Kim et al在1996年提出的两个群签名方案是不可追踪的.与Wang et al提供的攻击方... 详细信息

群签名允许每个成员代表整个群体作出签名,它是构造电子现金、电子拍卖、电子选举方案的基本工具.本文通过极其简单的攻击方法证明Zhang et al在2003年和Kim et al在1996年提出的两个群签名方案是不可追踪的.与Wang et al提供的攻击方法相比,本文所发展的技巧十分新奇有趣.

关键词：群签名可追踪性不可联系性

在线全文

学校读者我要写书评

暂无评论

基于软件结构的文档与代码间可追踪性研究

计算机科学与探索 2014年第6期8卷 694-703页

作者：杨丙贤刘超北京航空航天大学计算机学院北京100191

正确建立软件文档与代码间的可追踪关系对程序理解、软件维护等非常重要。近年来,软件文档与代码间的可追踪性研究大多基于文本词汇相似度,没有充分利用软件文档和代码所蕴含的结构信息,针对这一问题提出了将软件结构信息与信息检索模... 详细信息

正确建立软件文档与代码间的可追踪关系对程序理解、软件维护等非常重要。近年来,软件文档与代码间的可追踪性研究大多基于文本词汇相似度,没有充分利用软件文档和代码所蕴含的结构信息,针对这一问题提出了将软件结构信息与信息检索模型相结合进行文档与代码间可追踪性分析的方法。通过对文档和代码结构信息的分析,改善预处理效果,优化相似度计算过程,进而提高整体方法的有效性。实验结果表明,该方法比单纯基于信息检索的方法在查全率和查准率上都有所提高,而且能提取到更多的可追踪性链。

关键词：软件结构信息检索可追踪性

在线全文

学校读者我要写书评

暂无评论

基于场景元模型的需求可追踪性研究

青岛大学学报（自然科学版） 2016年第3期29卷 97-101页

作者：武加慧魏长江青岛大学数据科学与软件工程学院青岛266071

在软件需求获取阶段,涉众可能会不断更改他们的需求甚至提出新的需求。针对软件需求不断变更的问题提出了一种基于场景元模型的解决方法。该方法利用场景元模型中定义的元素及其关系建立需求中的可追踪性,通过计算变化追踪矩阵查找需求... 详细信息

在软件需求获取阶段,涉众可能会不断更改他们的需求甚至提出新的需求。针对软件需求不断变更的问题提出了一种基于场景元模型的解决方法。该方法利用场景元模型中定义的元素及其关系建立需求中的可追踪性,通过计算变化追踪矩阵查找需求变更时影响的其他因素,最后验证了所建立追踪关系的正确性。通过场景元模型的方法在需求的各个元素之间建立可追踪关系,可准确找到需求变更时波及到的其他元素,提高捕获需求的效率和准确性。

关键词：场景元模型可追踪性需求变更

在线全文

学校读者我要写书评

暂无评论

保证产品质量可追踪性的编号方法

航空标准化与质量 1987年第1期 27-28页

作者：曾祥裕一三○厂

为了保证产品质量的可追踪性,必须对产品和零件做识别标志,借以辨认其制造时间、投料的初始状态、操作者及工程结构特征等。对于小型产品的识别标志,只需编以批次号,就可以在生产过程中按批次转工、装配,即可保证产品质量的可追踪性。... 详细信息

为了保证产品质量的可追踪性,必须对产品和零件做识别标志,借以辨认其制造时间、投料的初始状态、操作者及工程结构特征等。对于小型产品的识别标志,只需编以批次号,就可以在生产过程中按批次转工、装配,即可保证产品质量的可追踪性。如果一旦某一零件出现质量事故,则根据其批次编号和生产过程的质量记录,就可以查出该零件材料投入的初始状态、操作者及生产过程的情况。这种方法称之为“批次管理”。

关键词：部件装配质量识别标志零组件可追踪性熔炼炉批号字头编号方法

会展视角下的数字货币对金融营销的影响与机遇

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国会展 2025年第1期 130-132页

作者：张潇丹河南经贸职业学院

随着科技的不断进步和全球经济的日益数字化,数字货币作为一种新兴的金融工具,正逐渐改变着金融市场的运作方式和营销策略。本文旨在探讨数字货币对金融营销的影响与机遇。首先,通过深入分析数字货币的特性,如去中心化、跨境交易便利性... 详细信息

随着科技的不断进步和全球经济的日益数字化,数字货币作为一种新兴的金融工具,正逐渐改变着金融市场的运作方式和营销策略。本文旨在探讨数字货币对金融营销的影响与机遇。首先,通过深入分析数字货币的特性,如去中心化、跨境交易便利性、高度可追踪性等,本文揭示了这些特性如何影响金融机构的传统营销策略。其次,文章探讨了数字货币为金融机构带来的新机遇,特别是在会展场景中的应用。此外,本文还就数字货币在金融营销中的风险和挑战进行了讨论,并提出了相应的建议。通过对比分析和案例研究,本文为金融机构在数字货币时代的营销策略调整提供了理论支持和实践指导。

关键词：金融营销金融机构数字货币金融工具可追踪性金融市场去中心化会展

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

用户身份可追踪的云共享数据完整性审计方案

计算机科学 2020年第6期47卷 303-309页

作者：张茜王箭南京航空航天大学计算机科学与技术学院南京211106

云端共享数据完整性审计用于验证一个用户群组共享在云端的数据的完整性。与单用户的数据完整性审计相比,群组共享数据的完整性审计需要考虑用户撤销、身份隐私保护等问题。如果数据出现争议或其他情况,还需要对数据的来源进行追踪,目... 详细信息

云端共享数据完整性审计用于验证一个用户群组共享在云端的数据的完整性。与单用户的数据完整性审计相比,群组共享数据的完整性审计需要考虑用户撤销、身份隐私保护等问题。如果数据出现争议或其他情况,还需要对数据的来源进行追踪,目前已有的云共享数据完整性审计方案尚未能很好地处理这个问题。为了实现数据源的追踪,并保证高效的用户撤销和用户身份隐私的保护,文中提出基于群签名算法的云共享数据完整性审计方案。当需要追踪数据块签名者的身份时,群管理员可利用自己的私钥对数据块签名者的身份进行追踪,且他人无法得知该签名者的身份。该方案中的私钥更新机制能很好地支持用户撤销,极大缩减了用户撤销过程中的计算和通信开销。安全性分析和实验结果表明,该方案是安全、高效的。

关键词：云存储共享数据完整性审计群签名可追踪性

低耗后向无关联性的本地验证撤销群签名方案(英文)

在线全文

学校读者我要写书评

暂无评论

软件学报 2009年第7期20卷 1977-1985页

作者：魏凌波武传坤朱婷鸽中国科学院软件研究所信息安全国家重点实验室北京100190 中国科学院研究生院北京100049 西安邮电学院通信工程学院陕西西安710121

目前在具有后向无关联性的本地验证撤销群签名方案中,公钥长度和时间间隔的总数线性相关,撤销列表的大小与时间间隔的总数和被撤销用户的总数线性相关.因此,当时间间隔总数和被撤销成员总数比较大时,所需的存储空间和撤销验证时的开支... 详细信息

目前在具有后向无关联性的本地验证撤销群签名方案中,公钥长度和时间间隔的总数线性相关,撤销列表的大小与时间间隔的总数和被撤销用户的总数线性相关.因此,当时间间隔总数和被撤销成员总数比较大时,所需的存储空间和撤销验证时的开支都比较高.在DTDH和q-SDH假设下,提出一种具有后向无关联性的本地验证撤销群签名方案,它具有较短公钥长度和撤销列表.

关键词：群签名向后无关性本地验证撤销匿名性可追踪性