【英语版】国际标准 ISO/IEC 23643:2020 EN 软件与系统工程-软件安全与安全验证工具的能力 Software and systems engineering - Capabilities of software safety and security verification tools.pdf
- 1
- 0
- 2024-07-10 发布于四川
-
正版发售
- 现行
- 正在执行有效期
- | 2020-06-12 颁布
- 1、本标准文档预览图片由程序生成,具体信息以下载为准。
- 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
- 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
- 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多
ISO/IEC23643:2020EN《软件与系统工程——软件安全与安全验证工具能力的标准》是由国际标准化组织ISO/IEC所发布的一套国际性标准,主要针对软件安全和安全验证工具的通用能力进行了规范。
该标准定义了一套原则、要求和方法,用于评估和描述软件安全验证和安全验证工具的功能、效率和可靠性。这些工具在设计和开发过程中需要满足一系列要求,以确保其在真实场景中能够有效地识别和解决软件安全问题。
具体来说,该标准包括以下主要内容:
*定义了软件安全验证工具所需的基本功能,如静态代码分析、动态测试、形式化方法等;
*对这些工具的性能和效率提出了要求,以确保其在合理的时间内完成所需的任务;
*要求工具必须具备一定的可靠性和可维护性,以降低由于工具故障或人为错误导致的潜在风险;
*提供了一系列评估方法,包括工具的功能性测试、性能测试、可靠性测试等,以确保工具符合标准要求。
ISO/IEC23643:2020EN《软件与系统工程——软件安全与安全验证工具能力的标准》是一套重要的标准,它为软件安全验证工具的开发、评估和使用提供了重要的指导。该标准有助于提高软件的安全性和可靠性,从而降低软件安全风险,提高用户对软件产品的信任度。
您可能关注的文档
- 国际标准 ISO/IEC 23360-3-2:2021 EN Linux 标准库 (LSB) 第 3-2 部分:IA64(Itanium?)架构的核心规范 Linux Standard Base (LSB) — Part 3-2: Core specification for IA64 (Itanium?) architecture.pdf
- 国际标准 ISO/IEC 23360-3-2:2021 EN Linux Standard Base (LSB) — Part 3-2: Core specification for IA64 (Itanium?) architecture Linux 标准库 (LSB) 第 3-2 部分:IA64(Itanium?)架构的核心规范.pdf
- 国际标准 ISO/IEC 23360-3-2:2021 EN Linux标准基础(LSB) - 第3-2部分:IA64(Itanium?)架构的核心规范 Linux Standard Base (LSB) - Part 3-2: Core specification for IA64 (Itanium?) architecture.pdf
- 国际标准 ISO/IEC 23360-3-2:2021 EN Linux Standard Base (LSB) - Part 3-2: Core specification for IA64 (Itanium?) architecture Linux标准基础(LSB) - 第3-2部分:IA64(Itanium?)架构的核心规范.pdf
- 国际标准 ISO/IEC 23360-3-3:2021 EN Linux 标准库 (LSB) 第 3-3 部分:IA64(Itanium TM)架构的桌面规范 Linux Standard Base (LSB) — Part 3-3: Desktop specification for IA64 (Itanium TM) architecture.pdf
- 国际标准 ISO/IEC 23360-3-3:2021 EN Linux Standard Base (LSB) — Part 3-3: Desktop specification for IA64 (Itanium TM) architecture Linux 标准库 (LSB) 第 3-3 部分:IA64(Itanium TM)架构的桌面规范.pdf
- 国际标准 ISO/IEC 23360-3-3:2021 EN Linux标准基础 (LSB) - 第3-3部分:针对IA64(ItaniumTM)架构的桌面规范 Linux Standard Base (LSB) - Part 3-3: Desktop specification for IA64 (Itanium TM) architecture.pdf
- 国际标准 ISO/IEC 23360-3-3:2021 EN Linux Standard Base (LSB) - Part 3-3: Desktop specification for IA64 (Itanium TM) architecture Linux标准基础 (LSB) - 第3-3部分:针对IA64(ItaniumTM)架构的桌面规范.pdf
- 国际标准 ISO/IEC 23360-4-2:2021 EN Linux 标准基础 (LSB) 第4-2部分:AMD64(X86-64)架构的核心规范 Linux Standard Base (LSB) — Part 4-2: Core specification for AMD64 (X86-64) architecture.pdf
- 国际标准 ISO/IEC 23360-4-2:2021 EN Linux Standard Base (LSB) — Part 4-2: Core specification for AMD64 (X86-64) architecture Linux 标准基础 (LSB) 第4-2部分:AMD64(X86-64)架构的核心规范.pdf
最近下载
- 牙齿健康和龋齿预防科普知识ppt(共67张PPT).pptx VIP
- 2024年10月 政法干警锻造新时代政法铁军专题研讨班发言材料.docx VIP
- 反恐验厂-危机管理和应急恢复计划.doc
- 2024.10 政法干警锻造新时代政法铁军专题研讨班发言材料.docx VIP
- 六年级上册快乐读书吧知识测试题及答案.pdf VIP
- 北京字节跳动科技有限公司运营模式分析及发展趋势预测研究报告.docx VIP
- 《财务风险管理—以乐视公司为例》10000字.docx
- 人教八年级上册物理《光的反射》PPT教学课件.pptx
- 信息资源管理专业毕业设计论文:信息资源管理在学校教育中的应用研究.docx VIP
- 网络安全项目网络建设方案.doc
文档评论(0)