Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E103-D No.7 pp.1769-1772
- Publication Date
- 2020/07/01
- Publicized
- 2020/04/17
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.2019EDL8219
- Type of Manuscript
- LETTER
- Category
- Software System
Authors
Hae Young LEE
Cheongju University
Jin Myoung KIM
SKKU
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Hae Young LEE, Jin Myoung KIM, "Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation" in IEICE TRANSACTIONS on Information,
vol. E103-D, no. 7, pp. 1769-1772, July 2020, doi: 10.1587/transinf.2019EDL8219.
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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2019EDL8219/_p
Copy
@ARTICLE{e103-d_7_1769,
author={Hae Young LEE, Jin Myoung KIM, },
journal={IEICE TRANSACTIONS on Information},
title={Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation},
year={2020},
volume={E103-D},
number={7},
pages={1769-1772},
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.},
keywords={},
doi={10.1587/transinf.2019EDL8219},
ISSN={1745-1361},
month={July},}
Copy
TY - JOUR
TI - Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation
T2 - IEICE TRANSACTIONS on Information
SP - 1769
EP - 1772
AU - Hae Young LEE
AU - Jin Myoung KIM
PY - 2020
DO - 10.1587/transinf.2019EDL8219
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E103-D
IS - 7
JA - IEICE TRANSACTIONS on Information
Y1 - July 2020
AB - 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.
ER -
English
