Structured Algorithm for Software Behavior Model based on Finite State Automaton | Zendy

Quanbao Chen | Zendy; Xiaolin Zhao | Zendy; Hang Yin | Zendy; Jinyan Zhang | Zendy; Meijing Wu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Structured Algorithm for Software Behavior Model based on Finite State Automaton

Author(s) -

Quanbao Chen,

Xiaolin Zhao,

Hang Yin,

Jinyan Zhang,

Meijing Wu

Publication year - 2018

Publication title -

destech transactions on computer science and engineering

Language(s) - English

Resource type - Journals

ISSN - 2475-8841

DOI - 10.12783/dtcse/csae2017/17515

Subject(s) - computer science , finite state machine , software , two way deterministic finite automaton , deterministic finite automaton , büchi automaton , software security assurance , software development , algorithm , deterministic automaton , key (lock) , automaton , theoretical computer science , nondeterministic finite automaton , programming language , operating system , information security , automata theory , computer security , security service

At present, with the rapid development of software, software security is very more and more serious. In order to solve the software security problem, it is necessary to monitor the software behavior. Therefore, this paper studies the differences between the running states of the software, and finds out and quantifies the differences, which further monitors the software behavior in software security. This paper analyzes the topology structure algorithm of software behavior model and proposes FSM Diff algorithm based on finite state automaton. FSM Diff algorithm is more effective to select the key state nodes. Besides, experiment shows that FSM Diff algorithm is effective to select the key state nodes in the software running state diagram.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research