Modelling Binary Oriented Software Buffer-Overflow Vulnerability in Process Algebra.
Wenqing LiuLiming YangWei ZhangPublished in: PAAP (2015)
Keyphrases
- buffer overflow
- process algebra
- formal methods
- formal specification
- asynchronous circuits
- concurrent systems
- software systems
- computer systems
- security problems
- data corruption
- software development
- model checking
- communication protocols
- rare events
- web services composition
- artificial intelligence
- source code
- software components
- object oriented