Font Size: a A A

The Research On Lniux Application's Credibility Verification Method Based On ABD

Posted on:2019-08-22Degree:MasterType:Thesis
Country:ChinaCandidate:R XiaoFull Text:PDF
GTID:2428330593950444Subject:Software engineering
Abstract/Summary:PDF Full Text Request
The core of this paper is to study the credibility of Linux software behavior test methods and measurement standards.Based on the characteristics of the system under Linux,this paper analyzes the software trusted problem and extracts the software trusted attribute for Linux.A behavior declaration with Linux features is obtained by combining a trusted attribute with a behavior declaration.By embedding the trusted tracking module in the software development stage,the execution process of the software and the behavior event of the recording software are marked.Then,the action path of software behavior can be constructed by means of event recombination,so as to obtain the specific behavior of software in the process of operation.Based on the idea of " words match deeds ",this paper compares the behavior statement of the software life cycle with the action path,and obtains a new method of credibility test.Through the above methods,we can find out whether the software behavior is authentic and credible by using the explicit trusted indicators and implicit credible indicators proposed in this paper.Moreover,we can calculate the reliability of software behavior by using the implicit index calculation model.In addition,the concept of software similarity behavior is proposed,and the implicit index model is applied to identify similar behaviors.The similarity of the software similarity behavior can be obtained through the screening calculation,and then the software behavior can be trusted according to the similarity degree.
Keywords/Search Tags:Software Credibility, Software Behavior, Behavior declaration, Credibility Verification, Credibility Calculation
PDF Full Text Request
Related items