A Dynamic Verification Model based on Information Flow Constraint
After analyzing the common attacks for some software systems, a dynamic software behavior verification model related with the unchecked input data based on software analysis and dynamic slicing technology is proposed. Regarding a statement as a basic analysis unit, and the information flow as the ma...
Main Authors: | Dan Wang, Yan Lu, Lihua Fu, Wenbing Zhao |
---|---|
Format: | Article |
Language: | English |
Published: |
Atlantis Press
2013-08-01
|
Series: | International Journal of Computational Intelligence Systems |
Subjects: | |
Online Access: | https://www.atlantis-press.com/article/25868417.pdf |
Similar Items
-
Information Flow Security in Component-Based Models : From verification to Implementation
by: Ben Said, Najah
Published: (2016) -
Automation of Formal Verification of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01) -
Constraint modelling and solving of some verification problems
by: Bart, Anicet
Published: (2017) -
Towards Quantified Data Analysis of Information Flow Tracking for Secure System Design
by: Yu Tai, et al.
Published: (2018-01-01) -
Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)