🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO/IEC 23643:2020

BS ISO/IEC 23643:2020

$167.15

Software and systems engineering. Capabilities of software safety and security verification tools

Published By Publication Date Number of Pages
BSI 2020 40
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

This document specifies requirements for the vendors and gives guidelines for both the users and the developers of software safety and security verification tools. The users of such tools include, but are not limited to, bodies performing verification and software developers who need to be aware and pay attention to safety and/or security of software. This document guides the verification tool vendors to provide as high-quality products as possible and helps the users to understand the capabilities and characteristics of verification tools.

This document introduces use cases for software safety and security verification tools and entity relationship model related to them. This document also introduces tool categories for software safety and security verification tools and gives category specific guidance and requirements for the tool vendors and developers.

PDF Catalog

PDF Pages PDF Title
2 undefined
6 Foreword
7 Introduction
9 1 Scope
2 Normative references
3 Terms and definitions
14 4 Abbreviated terms
15 5 Models for software safety and security verification tools
17 6 Use cases of software safety and security verification tools
6.1 General
18 6.2 Verification for low criticality software
6.3 Verification for medium criticality software
19 6.4 Verification for high criticality software
20 7 Entity relationship chart of software safety and security verification
21 8 Categories, capabilities of and requirements for software safety and security verification tools
8.1 General
8.2 Categories of software safety verification tools
8.2.1 General
8.2.2 Specification and refinement tools
8.2.3 Model checking tools
22 8.2.4 Program analysis tools
8.2.5 Proof tools
8.2.6 Monitoring tools
8.2.7 Programming rules checkers
23 8.3 Categories of software security verification tools
8.3.1 General
8.3.2 Vulnerability analysis tools
8.3.3 Security modeling tools
8.3.4 Threat modeling tools
8.4 Capabilities of software safety and security verification tools
27 8.5 Common requirements for safety and security verification tools
28 8.6 Requirements for specification and refinement tools
8.7 Requirements for model checking tools
29 8.8 Requirements for program analysis tools
8.9 Requirements for proof tools
30 8.10 Requirements for monitoring tools
8.11 Requirements for programming rules checking tools
8.12 Requirements for vulnerability analysis tools
31 8.13 Requirements for security modeling tools
8.14 Requirements for threat modeling tools
32 Annex A (informative) Evaluation assurance levels of ISO/IEC 15408 common criteria
36 Annex B (informative) How to use this document with ISO/IEC 20741
37 Bibliography

Related products

BS ISO/IEC 23643:2020
$167.15