Paper Info
Title
Systematic Detection Of State Variable Corruptions In Discrete Event System Specification Based Simulation
Abstract
In this letter, we propose a more secure modeling and simulation approach that can systematically detect state variable corruptions caused by buffer overflows in simulation models. Using our approach, developers may not consider secure coding practices related to the corruptions. We have implemented a prototype of the approach based on a modeling and simulation formalism and an open source simulator. Through optimization, the prototype could show better performance, compared to the original simulator, and detect state variable corruptions.
Year
DOI
Venue
2020
10.1587/transinf.2019EDL8219
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
Keywords
DocType
Volume
data corruption, state variable corruption, buffer overflow, secure coding, discrete event system specification
Journal
E103D
Issue
ISSN
Citations 
7
1745-1361
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Hae Young Lee18614.93
Jin Myoung Kim2234.85