检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

CC标准中安全架构与策略模型的分析方法

清华大学学报（自然科学版） 2016年第5期56卷 493-498页

作者：石竑松高金萍贾炜刘晖中国信息安全测评中心北京100085

通用评估准则(CC)未论述安全架构及策略模型这2个保障要求的具体分析方法,因而不利于实际的安全评估工作。为此,首先从设计分解的角度论述了CC的基本评估模型,将安全功能(TSF)从内涵功能和元功能2个角度进行定义,以此论述安全架构设计... 详细信息

通用评估准则(CC)未论述安全架构及策略模型这2个保障要求的具体分析方法,因而不利于实际的安全评估工作。为此,首先从设计分解的角度论述了CC的基本评估模型,将安全功能(TSF)从内涵功能和元功能2个角度进行定义,以此论述安全架构设计的意义,并基于脆弱性分析活动来描述安全架构及评估方法。其次,从论述保护轮廓(ST)与功能规范(FSP)的逻辑差距出发,描述了形式化安全策略模型的意义,并提出了对TSF要求进行(半)形式化的方法来弥补此差距的途径。由于等同于CC v3.1标准的国标GB/T18336即将在中国推行,该文结论将有助于改进后续的安全评估工作。

关键词： CC评估安全架构 TSF元功能 TSF内涵功能安全策略模型

在线全文

学校读者我要写书评

暂无评论

Ad hoc网络中密钥协商协议的研究

Ad hoc网络中密钥协商协议的研究

作者：石竑松西华大学

学位级别：硕士

密钥建立是密钥管理的研究内容,密钥安全是一切安全密码系统的基础,在执行密码协议前必须预先建立密钥。由于对称加密在效率上的优势,通常需要在通信各方之间共享一个对称会话密钥,而在动态对等群上进行密钥协商是建立对称会话密钥行之... 详细信息

密钥建立是密钥管理的研究内容,密钥安全是一切安全密码系统的基础,在执行密码协议前必须预先建立密钥。由于对称加密在效率上的优势,通常需要在通信各方之间共享一个对称会话密钥,而在动态对等群上进行密钥协商是建立对称会话密钥行之有效的办法。通过对Ad hoc 网络环境的分析,本文提出了一个Ad hoc 网络中通信有效的群密钥协商协议CEKA(Communication-Efficient Key Agreement protocol)。CEKA协议将本文推广了的Diffie-Hellman 两方协议和Joux 一轮三方协议作为基本密钥协商协议,并在Ad hoc 网络中进行了多方情况下的扩展。再利用Ad hoc 网络中的分层路由协议对网络分簇,将邻近的网络节点作为逻辑密钥树的相邻点,从而削弱了传统动态对等群中的密钥协商协议做出的节点间单跳的假定,更适于实际的Ad hoc 网络环境。为提供可认证性,抵制常见攻击,本文还提出了一个基于身份的签名方案,在随机预言机模型(ROM)下,该方案满足非适应性选择消息攻击下的不可伪造性。将该签名方案运用到CEKA 协议中,设计了可认证的CEKA 协议。此外,本文还对CEKA 协议的通信和计算复杂性进行了细致的分析。从CEKA、TGDH 及ESTR 协议的对比中发现在考虑网络延迟的情况下,本文方案具有较低的通信和计算开销,更适合范围较大,节点移动性强的Ad hoc 网络。此外,安全性分析也表明,CEKA 协议满足密钥独立、完善的前向保密、抵抗密钥泄漏的冒充攻击以及非密钥控制等安全性要求。

关键词：密钥协商 Ad hoc 网络 Tate 对基于身份的签名随机预言机模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

创新检测技术方法保障前沿密码应用安全

中国信息安全 2023年第7期 44-47页

作者：魏伟刘宏伟陈佳哲石竑松中国信息安全测评中心

进入新时代,新一轮科技产业革命与国际复杂局势交织叠加,量子科技、人工智能、大数据、物联网等前沿技术的发展和应用催生了网络空间安全的新形势和新需求。作为维护网络安全的核心技术,密码技术面临着诸多发展机遇与挑战。新修订的《... 详细信息

进入新时代,新一轮科技产业革命与国际复杂局势交织叠加,量子科技、人工智能、大数据、物联网等前沿技术的发展和应用催生了网络空间安全的新形势和新需求。作为维护网络安全的核心技术,密码技术面临着诸多发展机遇与挑战。新修订的《商用密码管理条例》(以下简称《条例》)明确支持并规范商用密码在信息领域新技术、新业态、新模式中的应用,从法规角度有力地推动了密码技术创新发展和检测认证体系建设。本文将重点讨论前沿密码技术的发展状况,特别是与芯片安全、通信和数据安全保护有关的密码侧信道安全分析、量子安全、隐私计算等技术,探讨在新形势下面临的问题及相关的检测技术方法,并提出意见和建议。

关键词：网络空间安全商用密码数据安全保护人工智能密码技术隐私计算大数据物联网

在线全文

学校读者我要写书评

暂无评论

对数空间可构造的无向图遍历序列

计算机工程与应用 2010年第8期46卷 11-15页

作者：石竑松秦志光电子科技大学计算机科学与工程学院成都611731

研究了为无向连通子图设计环状遍历序列(TSC)的空间复杂性问题。通过定义对数空间的Cook归约,分析了TSC问题与无向图连接性问题及通用遍历序列构造问题的关系,证明了TSC问题以及无向图遍历问题是对数空间可解的,并给出了一个TSC一般性... 详细信息

研究了为无向连通子图设计环状遍历序列(TSC)的空间复杂性问题。通过定义对数空间的Cook归约,分析了TSC问题与无向图连接性问题及通用遍历序列构造问题的关系,证明了TSC问题以及无向图遍历问题是对数空间可解的,并给出了一个TSC一般性构造方法。最后还提出了一个更有效的针对树状图的TSC构造算法。

关键词：对数空间复杂性图的遍历通用遍历序列无向图连接性问题

在线全文

学校读者我要写书评

暂无评论

保持空间复杂性的算法组合

计算机应用研究 2010年第6期27卷 2020-2023页

作者：石竑松秦志光电子科技大学计算机科学与工程学院成都611731

分析了组合两种算法所需的空间复杂度在何种情况下为原算法的空间复杂度之和的问题,即空间复杂度的保持问题。通过形式化oracle查询方式,证明了在后续oracle查询和前面所有的oracle回复都不相关,即非适应性查询情况下,算法组合将保持空... 详细信息

分析了组合两种算法所需的空间复杂度在何种情况下为原算法的空间复杂度之和的问题,即空间复杂度的保持问题。通过形式化oracle查询方式,证明了在后续oracle查询和前面所有的oracle回复都不相关,即非适应性查询情况下,算法组合将保持空间复杂性,但在适应性查询情况时不一定成立。

关键词：算法组合空间复杂性库克归约预言机查询

物联网应用中有源RFID标签的EAL4安全要求

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2012年第10期52卷 1453-1459页

作者：高金萍石竑松王宇航杨永生张翀斌中国信息安全测评中心北京100085

该文为物联网应用中安全要求较高的有源RFID标签类产品建立了一套满足评估保证级(EAL)4级的一组安全要求。此安全要求的建立,以通用评估准则(ISO15408)为依据,通过对有源标签保护的资产价值和潜在威胁的分析,为有源标签界定了合理的评... 详细信息

该文为物联网应用中安全要求较高的有源RFID标签类产品建立了一套满足评估保证级(EAL)4级的一组安全要求。此安全要求的建立,以通用评估准则(ISO15408)为依据,通过对有源标签保护的资产价值和潜在威胁的分析,为有源标签界定了合理的评估保证级别及相应的安全保证要求,并通过分析其在物联网应用中可能面临的潜在威胁,导出了有源标签需要满足的安全目的,进一步得出了需要满足的最小安全功能要求,并论证了它们之间的对应性。建立的安全要求框架可以作为指引研发者对有源标签进行全面安全性设计考量的重要参考,也可以为有源标签类产品的采购、测评提供依据。

关键词：物联网射频识别(RFID) 有源标签通用评估准则安全要求框架

在线全文

学校读者我要写书评

暂无评论

敌手信道模型中的安全消息传输

计算机工程 2011年第2期37卷 16-19页

作者：石竑松秦志光电子科技大学计算机科学与工程学院成都611731

以往对信息论安全的消息传输(SMT)协议的研究总假定有些信道完全保密且没有任何噪音,不能反映实际应用情况。为此提出敌手信道模型,不仅允许攻击者能完全控制t 详细信息

以往对信息论安全的消息传输(SMT)协议的研究总假定有些信道完全保密且没有任何噪音,不能反映实际应用情况。为此提出敌手信道模型,不仅允许攻击者能完全控制t

关键词：信息论安全安全消息传输敌手信道

在线全文

学校读者我要写书评

暂无评论

安全策略及设计规范的半形式化方法

清华大学学报（自然科学版） 2017年第7期57卷 695-701页

作者：邓辉石竑松张宝峰杨永生刘晖中国信息安全测评中心北京100085

对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法... 详细信息

对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法。首先,论述了通过分析安全功能接口,从安全功能要求中提取安全策略,以及从模块设计中提取设计规范的一般方法,给出了降低耦合性的子系统和模块划分规则;其次,通过选择和改进现有的半形式化工具,给出了描述安全策略以及设计规范的半形式化方法;最后,以IC卡芯片产品的测评为例,通过对部分安全策略以及设计规范进行半形式化处理,论证了产品所采取的安全策略可使安全功能要求得以充分满足,且相应的设计规范也是合理的。结果表明:该文所建立的半形式化方法在一定程度上适于所有信息技术产品的安全测评。

关键词：安全策略设计规范半形式化

在线全文

学校读者我要写书评

暂无评论

基于配对函数的顺序相关多重数字签名

计算机工程与应用 2005年第20期41卷 135-138页

作者：石竑松何明星西华大学计算机与数理学院成都610039

基于配对函数和陷门同态置换的签名聚合方法提出了安全的顺序相关的多重数字签名方案,具有以下特点:利用配对函数来记录签名顺序,使得签名可依序进行;签名人数不受限制;签名较短、签名和验证过程简单;无须第三方为每次签名生成密钥以及... 详细信息

基于配对函数和陷门同态置换的签名聚合方法提出了安全的顺序相关的多重数字签名方案,具有以下特点:利用配对函数来记录签名顺序,使得签名可依序进行;签名人数不受限制;签名较短、签名和验证过程简单;无须第三方为每次签名生成密钥以及签名者的编号等。该方案可用于电子商务、电子政务中。

关键词：顺序相关多重数字签名聚合签名陷门同态置换配对函数