The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
이 편지에서는 시뮬레이션 모델의 버퍼 오버플로로 인해 발생하는 상태 변수 손상을 체계적으로 감지할 수 있는 보다 안전한 모델링 및 시뮬레이션 접근 방식을 제안합니다. 우리의 접근 방식을 사용하면 개발자는 손상과 관련된 보안 코딩 관행을 고려하지 않을 수 있습니다. 우리는 모델링 및 시뮬레이션 형식주의와 오픈 소스 시뮬레이터를 기반으로 접근 방식의 프로토타입을 구현했습니다. 최적화를 통해 프로토타입은 원래 시뮬레이터에 비해 더 나은 성능을 보여주고 상태 변수 손상을 감지할 수 있었습니다.
Hae Young LEE
Cheongju University
Jin Myoung KIM
SKKU
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.
부
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
부
@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},}
부
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 -