Software safety proof development method combining product and process

A security and software technology, applied in the field of software security proof combining products and processes, can solve problems such as insufficient software security proof, and achieve the effect of enhancing confidence

Active Publication Date: 2013-11-06
天航长鹰(江苏)科技有限公司
View PDF4 Cites 21 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] Software safety proof technology has been paid more and more attention in the field of software safety evaluation because it can establish a suitable argument structure and evidence

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Software safety proof development method combining product and process
  • Software safety proof development method combining product and process
  • Software safety proof development method combining product and process

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0041] The present invention will be further described below in conjunction with the accompanying drawings and embodiments.

[0042] The development of software security evidence includes three parts: determining the top-level requirements of software security, constructing software security arguments, and selecting corresponding evidence. figure 1 A software security forensic development framework combining products and processes is described. The framework is a closed loop that realizes system security risk management from a software perspective with hazards and hazard control as the core. According to the definition of software security, the top-level goal of software security evidence development is set as "the risk generated by the software running in the system environment is acceptable". In order to show the realization of this goal, the argument development in software security evidence is carried out from the following two aspects:

[0043] 1) Evidence of satisfacti...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a software safety proof development method combining a product and a process. The method takes danger or danger control as the core, realizes risk management of system safety from the aspect of software, and launches proofing of two aspects including satisfiability and full correctness surrounding the top target. The purpose of satisfiability proofing is to prove that proofed objects are realized and satisfied, so as to perform proofing from the aspects of danger, danger control, and danger control realization, all based on the product method which serves as a main line. The purpose of full correctness is to prove that the objects are complete and correct, so as to enhance the realization confidence based on process method and through the factors such as 'process standardization, personnel quality and development method'. The software safety proof development method overcomes the deficiency of software safety proofing only through product or only through process, can effectively guide the development of software safety proofing, and provide a more effective method for a software-related party to check the safety and other related situation.

Description

technical field [0001] The invention belongs to the field of software safety engineering, relates to a software safety evaluation method therein, and specifically relates to a software safety proof technology combining products and processes. Background technique [0002] Safety refers to the ability to avoid accidents that result in personal injury or death, occupational disease, equipment damage or property loss. The control and safety protection of Safety-Critical System (Safety-Critical System) is a very important application field of computer. With the increasing proportion of software (known as safety-critical software) in safety-critical systems, software also has safety problems. Software security is crucial to the normal work and safe operation of safety-critical systems, and has become one of the key factors for the normal use of defense systems. How to show that the software has reached the security level required by the system has always been a key issue for man...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F21/12G06F11/36
Inventor 曾福萍许国军陆民燕钟德明
Owner 天航长鹰(江苏)科技有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap