Software forced safety protection method based on external environment model learning

A technology for external environment and security protection, applied in the field of computer systems, can solve problems such as time-consuming and time-consuming

Pending Publication Date: 2021-04-30
NAT UNIV OF DEFENSE TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Finally, when applying to solve actual cases, we will face a problem. The learning process is an active learning process. The member query operation needs to execute the learned system to obtain the output

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 forced safety protection method based on external environment model learning
  • Software forced safety protection method based on external environment model learning
  • Software forced safety protection method based on external environment model learning

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 specific preferred embodiments, but the protection scope of the present invention is not limited thereby.

[0042] When an external computer system with definite behavior interacts with the system to be protected, the L* algorithm proposed by Angluin can learn its Mealy mechanism by inquiring a black-box system. For an external computer system, we can learn its Mealy machine model, and by analyzing the model, we can find the operation or state that causes the program failure. Therefore, we try to deploy the Mealy machine to the enforcer to monitor this external computer system, so that the input to the system to be protected is safe.

[0043] When interacting with the system to be protected is an external environment with uncertain behavior. The external environment includes the environment or people. We consider using a probability model to predict the internal enviro...

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 forced safety protection method based on external environment model learning, which comprises the following steps: for an external computer system, collecting a historical operation log of the external computer system and matching an execution result of a software operation sequence queried by parts in an MAT framework, calculating the execution result according to a preset first model learning algorithm to obtain a Mealy machine model, analyzing the Mealy machine model in combination with a preset protocol to obtain a program path violating the protocol, and generating a forcifier according to the program path violating the protocol; for the external environment, obtaining logs of the internal system, extracting an interaction event sequence of the external environment and the internal system as an observation sequence, calculating the observation sequence according to a preset second model learning algorithm to obtain a probability model, and generating a monitor through the probability model. According to the method, the learning process is combined with the log, so that the learning efficiency is greatly improved.

Description

technical field [0001] The invention relates to the field of computer systems, in particular to a software mandatory security protection method based on external environment model learning. Background technique [0002] As the scale of the software system becomes larger and the logic becomes more and more complex, the environment of the software system becomes more and more changeable, and the objects interacting with the software system become more and more diverse. In addition, it is difficult for software developers to consider at the beginning of development. If it is comprehensive, then more and more software security problems will naturally be exposed. In the face of these security problems, the main method adopted at this stage is to passively compensate for software security risks based on experience. Powerful vulnerability mining tools and methods are needed to discover and fix vulnerabilities as early as possible, but in fact, due to the huge scale of the software...

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/57G06N20/00
CPCG06F21/577G06N20/00
Inventor 董威陶崇民周戈史浩刘万伟尹良泽
Owner NAT UNIV OF DEFENSE TECH
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