石竑松
- 作品数：46 被引量：39H指数：4
- 供职机构：中国信息安全测评中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信理学经济管理更多>>
- 一种侧信道分析方法及装置
- 本申请提供了一种侧信道分析方法及装置，其中，方法包括：在待分析侧信道曲线文件的大小大于系统待用内存的情况下，获取对待分析侧信道曲线文件进行侧信道分析的类型；在类型为信号处理的情况下，依据系统待用内存可存储待分析侧信道曲线...
- 陈佳哲王蓓蓓李贺鑫王宇航张宝峰石竑松
- 文献传递
- 软硬件功能测试用例半形式化生成方法
- 2016年
- 功能测试旨在保证软硬件正确性,降低生产成本。已有的功能测试均为黑盒测试,无法最大化地发现功能正确性问题。而半形式化方法可为最大化分析、验证软硬件正确性提供框架。因此,围绕功能入口,混合有限状态机、Petri网、顺序图,共同建模软硬件动静态特征及其功能属性,并建立模型简化规则。模型由功能入口使用方式、功能入口、功能入口触发迁移三部分组成,覆盖所有功能入口模拟测试场景,并最大化生成测试用例。最终,基于模型等价性,检查实现功能测试的描述。
- 邓辉石竑松张宝峰
- 关键词：有限状态机顺序图
- 通用评估准则的发展与应用现状被引量：3
- 2013年
- 阐述了通用评估准则(CC)的起源、立意和发展过程,以及在CC框架下实现互认的途径。并在介绍CC的评估模型后,描述了该标准在应用方面存在的问题。最后对CC在国内外的应用现状进行了分析,并根据近年来CC大会的情况描述了该标准的近期发展趋势。
- 毕海英石竑松高金萍张翀斌郭颖
- Qualitifying the strength of security functions in vulnerability assessment
- 石竑松
- 量子威胁及其应对技术被引量：2
- 2020年
- 多年以后,当人们在享有量子计算的变革性成果为人类带来的巨大自由时,一定会因量子计算对个人隐私和社会秘密的潜在破坏性而隐隐担忧,这就是量子计算对社会发展的两面性影响。一旦到达一定的发展高度,量子计算技术可以显著地提升科学技术的发展速度,促进社会进步。
- 刘宏伟石竑松
- 关键词：量子计算变革性个人隐私两面性
- 网络安全技术 信息技术安全评估准则 第2部分：安全功能组件
- 石竑松张宝峰贾炜杨永生高金萍庞博顾健郭云峰顾申张纪兰张勇白晓媛张瑜陈超超陆臻武建双高松刘昱函李贺鑫黄小莉李静饶华一霍珊珊刘健牟洁贺海谢朝海叶建伟陈星安锦程叶润国左坚冯云刘彦钊王伟哲靳泽陶小峰刘雪莉权晓文高雪松唐刚龙勤许源李凤娟邓辉毕海英王蓓蓓陈佳哲杨静魏伟刘宏伟
- 按键型设备自动化测试电路和方法
- 本发明提供了一种按键型设备的自动化测试电路，该按键型设备包括芯片，该芯片的与第一按键相对应的第一按键管脚连接到第一节点，该测试电路包括：控制器，该控制器在所述第一节点上施加高电平或低电平来模拟第一按键的按下或松开操作。本...
- 李贺鑫石竑松陈佳哲
- 文献传递
- 随机性检测及其片面性
- 系统地研究了随机性检测问题。论证了实际可行的检测算法都只有部分证伪性，而无法给出随机性断言，因此通过检测的随机序列生成器仍可能不安全。在描述了伪随机生成器的定义和特点后，给出了随机种子较短时的伪随机检测方法。根据非确定性...
- 石竑松张翀斌杨永生高金萍
- 关键词：系统安全随机数安全评估
- 测试方法和测试设备
- 本发明提供了一种测试方法，包括：根据通信协议向被测设备发送命令；以及采集被测设备在响应于所述命令而执行的操作期间的侧信道信号，其中：所述通信协议被配置成减小对所述侧信道信号造成的干扰。本发明还提供了一种测试设备。
- 李贺鑫石竑松陈佳哲
- 文献传递
- CC标准中安全架构与策略模型的分析方法被引量：9
- 2016年
- 通用评估准则(CC)未论述安全架构及策略模型这2个保障要求的具体分析方法,因而不利于实际的安全评估工作。为此,首先从设计分解的角度论述了CC的基本评估模型,将安全功能(TSF)从内涵功能和元功能2个角度进行定义,以此论述安全架构设计的意义,并基于脆弱性分析活动来描述安全架构及评估方法。其次,从论述保护轮廓(ST)与功能规范(FSP)的逻辑差距出发,描述了形式化安全策略模型的意义,并提出了对TSF要求进行(半)形式化的方法来弥补此差距的途径。由于等同于CC v3.1标准的国标GB/T18336即将在中国推行,该文结论将有助于改进后续的安全评估工作。
- 石竑松高金萍贾炜刘晖
- 关键词：安全架构安全策略模型
