Formalized modeling based software security requirement acquisition method

A formal modeling and software security technology, applied in electrical digital data processing, instruments, platform integrity maintenance, etc., can solve problems only for security experts, general users, unsatisfactory degree of standardization and ease of use, etc. problem, to achieve the effect of strong universality and improved accuracy
CN104881606AActive Publication Date: 2015-09-02TIANJIN UNIV

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
TIANJIN UNIV
Publication Date
2015-09-02

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a formalized modeling based software security requirement acquisition method. The method includes functional requirement acquisition, security environment analysis, security objective analysis, security requirement elicitation and final generation of a system security requirement file, wherein the file at least includes information of system asset, behavioral sequence, defects, threats, security strategies, security assumptions, security objectives, security requirement levels, security guarantee levels, security functional modules and security guarantee modules. Compared with the prior art, the formalized modeling based software security requirement acquisition method has the advantages that automation in acquisition of software security requirements is realized while precision in acquisition of the security requirements is greatly improved; the problems of failure in realization of computer processing, ambiguity and fuzziness of security knowledge bases in natural language description are solved to lay the foundation for automatic elicitation of the software security requirements; the method which is a typical software security requirement acquisition method is applicable to different types of software systems and high in universality.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the technical field of software safety, in particular to a technology for acquiring software safety requirements. Background technique

[0002] With the widespread application of computers, software and information systems have penetrated into all walks of life and play an important role in the information society. However, software security issues come with high maintenance costs throughout the software life cycle, and these continuously increasing operating costs require organizations to carefully consider how they address software security issues.

[0003] Software security requirements engineering can greatly improve the quality of developed software and reduce the cost of development and maintenance, but it has not attracted enough attention from the industry, and it also lacks comprehensive consideration of software assets, software defects, security goals, threat analysis and risk assessment, etc. Engineering framework ...

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