The Community for Technology Leaders
2015 Seventh International Symposium on Parallel Architectures, Algorithms and Programming (PAAP) (2015)
Nanjing, China
Dec. 12, 2015 to Dec. 14, 2015
ISSN: 2168-3042
ISBN: 978-1-4673-9116-0
pp: 20-25
ABSTRACT
Software is ubiquitous in numerous industries, such as financial and commercial industries and military industries, playing the manager role to manipulate the data and equipment. Consequently, its vulnerabilities become great insecurity factors. To prevent the exploit of vulnerabilities, it is essential to study the characteristic of vulnerabilities, and a model to describe them is prerequisite. In this paper, a vulnerability modeling method BSVPA (Binary oriented Software Vulnerability in Process Algebra) is proposed. The concept of communication in Process Algebra is introduced to model the transition of data. Our method is binary oriented since the source code of most commercial software is unavailable, and it is more flexible with more concise presentation because of its fine-granularity. At last we give a case study to show more details about how BSVPA works.
INDEX TERMS
Algebra, Hidden Markov models, Software, Buffer overflows, Analytical models, Automata,process algebra, buffer overflow, vulnerability modeling
CITATION
Wenqing Liu, Liming Yang, Wei Zhang, "Modelling Binary Oriented Software Buffer-Overflow Vulnerability in Process Algebra", 2015 Seventh International Symposium on Parallel Architectures, Algorithms and Programming (PAAP), vol. 00, no. , pp. 20-25, 2015, doi:10.1109/PAAP.2015.15
246 ms
(Ver 3.3 (11022016))