石竑松
- 作品数：47 被引量：41H指数：4
- 供职机构：中国信息安全测评中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信理学经济管理更多>>
- 一种侧信道分析方法及装置
- 本申请提供了一种侧信道分析方法及装置，其中，方法包括：在待分析侧信道曲线文件的大小大于系统待用内存的情况下，获取对待分析侧信道曲线文件进行侧信道分析的类型；在类型为信号处理的情况下，依据系统待用内存可存储待分析侧信道曲线...
- 陈佳哲王蓓蓓李贺鑫王宇航张宝峰石竑松
- 文献传递
- 软硬件功能测试用例半形式化生成方法
- 2016年
- 功能测试旨在保证软硬件正确性,降低生产成本。已有的功能测试均为黑盒测试,无法最大化地发现功能正确性问题。而半形式化方法可为最大化分析、验证软硬件正确性提供框架。因此,围绕功能入口,混合有限状态机、Petri网、顺序图,共同建模软硬件动静态特征及其功能属性,并建立模型简化规则。模型由功能入口使用方式、功能入口、功能入口触发迁移三部分组成,覆盖所有功能入口模拟测试场景,并最大化生成测试用例。最终,基于模型等价性,检查实现功能测试的描述。
- 邓辉石竑松张宝峰
- 关键词：有限状态机顺序图
- 通用评估准则的发展与应用现状被引量：3
- 2013年
- 阐述了通用评估准则(CC)的起源、立意和发展过程,以及在CC框架下实现互认的途径。并在介绍CC的评估模型后,描述了该标准在应用方面存在的问题。最后对CC在国内外的应用现状进行了分析,并根据近年来CC大会的情况描述了该标准的近期发展趋势。
- 毕海英石竑松高金萍张翀斌郭颖
- Qualitifying the strength of security functions in vulnerability assessment
- 石竑松
- 量子威胁及其应对技术被引量：2
- 2020年
- 多年以后,当人们在享有量子计算的变革性成果为人类带来的巨大自由时,一定会因量子计算对个人隐私和社会秘密的潜在破坏性而隐隐担忧,这就是量子计算对社会发展的两面性影响。一旦到达一定的发展高度,量子计算技术可以显著地提升科学技术的发展速度,促进社会进步。
- 刘宏伟石竑松
- 关键词：量子计算变革性个人隐私两面性
- USB设备测试方法和测试设备
- 本发明提供了一种USB设备的测试方法，包括：根据USB通信协议向被测USB设备发送命令；以及采集被测USB设备在响应于所述命令而执行的操作期间的侧信道信号，其中：所述USB通信协议被配置成减小对所述侧信道信号造成的干扰。...
- 李贺鑫石竑松陈佳哲
- 文献传递
- 敌手信道模型中的安全消息传输
- 2011年
- 以往对信息论安全的消息传输(SMT)协议的研究总假定有些信道完全保密且没有任何噪音,不能反映实际应用情况。为此提出敌手信道模型,不仅允许攻击者能完全控制t
- 石竑松秦志光
- 量子密钥分发技术安全测评国际标准提案研究被引量：1
- 2018年
- 阐述中国在ISO/IEC JTC1/SC27 WG3工作组牵头立项的《量子密钥分发技术的安全要求、测试和评估方法》国际标准项目的立项背景、技术内容和研究进展。该标准的目标是在通用评估准则的框架下给量子密钥分发设备提供一套系统的安全要求、测试和评估方法。该标准针对成熟的量子密钥分发协议,测评内容涵盖了量子密钥分发设备中的经典密码模块和光学模块。
- 马家骏石竑松张振陈凯
- 关键词：量子密钥分发安全测评
- 按键型设备自动化测试电路和方法
- 本发明提供了一种按键型设备的自动化测试电路，该按键型设备包括芯片，该芯片的与第一按键相对应的第一按键管脚连接到第一节点，该测试电路包括：控制器，该控制器在所述第一节点上施加高电平或低电平来模拟第一按键的按下或松开操作。本...
- 李贺鑫石竑松陈佳哲
- 文献传递
- 随机性检测及其片面性
- 系统地研究了随机性检测问题。论证了实际可行的检测算法都只有部分证伪性，而无法给出随机性断言，因此通过检测的随机序列生成器仍可能不安全。在描述了伪随机生成器的定义和特点后，给出了随机种子较短时的伪随机检测方法。根据非确定性...
- 石竑松张翀斌杨永生高金萍
- 关键词：系统安全随机数安全评估
