C/C++ 기반 이산 사건 시스템 명세 시뮬레이션에서 전송 메시지 변경 탐지 방법
Method for Detecting Modification of Transmitted Message in C/C++ Based Discrete Event System Specification Simulation
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
본 논문에서는 C/C++ 기반 이산 사건 시스템 명세(DEVS) 시뮬레이션에서 전송 메시지 변경을탐지하는 기법을 제안한다. 모델 인스턴스가 생성한 메시지가 다른 모델 인스턴스로 전달될 때, 메시지가 수신자 중 일부가 이를 수정할 수도 있다. 이러한 변경은 시뮬레이션 결과를 오염시킬수 있으며, 오염된 시뮬레이션 결과는 잘못된 의사결정으로 이어질 수 있다. 제안 기법에서는 모든 모델 인스턴스가 전송 메시지의 사본을 저장한다. 전송 메시지가 삭제되기 전, 인스턴스는 저장된 메시지와 전송 메시지를 비교한다. 변경이 탐지되면 현재 시뮬레이션 실행을 중단시킨다. 모든 절차는 시뮬레이터 인스턴스에 의해 자동으로 수행된다. 그러므로 제안 기법은 개발자에게 시큐어 코딩을 준수하거나 특정 코드를 추가하도록 강요하지 않는다. 제안 기법의 성능을 기존DEVS 시뮬레이터와 비교한다.
Abstract
In this paper, the author proposes a method for detecting modification of transmitted messages in C/C++ based Discrete Event System Specification (DEVS) simulation. When a message generated by a model instance is delivered to other model instances, it may be modified by some of the recipients. Such modifications may corrupt simulation results, which may lead to wrong decision making. In the proposed method, every model instance stores a copy of every transmitted message. Before the deletion of the transmitted message, the instance compares them. Once a modification has been detected, the method interrupt the current simulation run. The procedure is automatically performed by a simulator instance. Thus, the method does not require programmers to follow secure coding or to add specific codes in their models. The performance of the method is compared with a DEVS simulator.
참고문헌 (21)
- A. Maria, "Introduction to modeling and simulation", Proc. of Winter Simulation Conference (WSC), pp.7~13 (1997)
- A.M. Law, "Simulation Modeling and Analysis" (2014), McGraw-Hill Education
- Kentaro Iwata, "A Simulation on Potential Secondary Spread of Novel Coronavirus in an Exported Country Using a Stochastic Epidemic SEIR Model", Journal of Clinical Medicine, 9(4), pp.944~ (2020), MDPI AG[DOI]
- Dmitry Ivanov, "Predicting the impacts of epidemic outbreaks on global supply chains: A simulation-based analysis on the coronavirus outbreak (COVID-19", SARS-CoV-2) case, 2020, pp.136, 101922~[DOI]
- Eman Hammad, "Implementation and development of an offline co-simulation testbed for studies of power systems cyber security and control verification", International Journal of Electrical Power & Energy Systems, 104, pp.817~826 (2019), Elsevier BV[DOI]
- P. Aggarwal, "HackIT: A Human-in-the-Loop Simulation Tool for Realistic Cyber Deception Experiments", Advances in Intelligent Systems and Computing, 960, pp.109~112 (2020)[DOI]
- Mattias Lantz Cronqvist, "Development and Initial Validation of a Stochastic Discrete Event Simulation to Assess Disaster Preparedness", Prehospital and Disaster Medicine, 34(s1), pp.s118~s118 (2019), Cambridge University Press (CUP)[DOI]
- Dimitris Mourtzis, "Simulation in the design and operation of manufacturing systems: state of the art and new trends", International Journal of Production Research, 58(7), pp.1927~1949 (2020), Informa UK Limited[DOI]
- J. S. Carson, "Introduction to modeling and simulation", Proc. of Winter Simulation Conference (WSC), pp.9~16 (2004)
- B. P. Zeigler, "Theory of Modeling and Simulation" (2018), Academic Press
- Bernard P. Zeigler, "From Discrete Event Simulation to Discrete Event Specified Systems (DEVS)", IFAC-PapersOnLine, 50(1), pp.3039~3044 (2017), Elsevier BV[DOI]
- Mostefa Mokaddem, "<SUP align="right">DEVS<", SUP>Server: ambient intelligence and DEVS modelling-based simulation server for epidemic modelling, 2018, pp.13(6), 557~[DOI]
- Jiyeon Kim, "DEVS-based Modeling Methodology for Cybersecurity Simulations from a Security Perspective", KSII Transactions on Internet and Information Systems, 14(5), pp.2186~2203 (2020), 한국인터넷정보학회[DOI]
- 이동훈, "DEVS 에이전트 모델과 셀 오토마타를 사용한 유니티엔진 기반의 지진해일 대피 시뮬레이터 개발", 멀티미디어학회논문지, 23(6), pp.772~783 (2020), 한국멀티미디어학회
- L. Rajaoarisoa, "Adaptive online fault diagnosis of manufacturing systems based on DEVS formalism", IFAC-PapersOnLine, 50(1), pp.6825~6830 (2017), Elsevier BV[DOI]
- "adevs: A Discrete EVent System simulator"[URL]
- "CD++"[URL]
- Hae Young LEE, "Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation", IEICE Transactions on Information and Systems, E103.D(7), pp.1769~1772 (2020), Institute of Electronics, Information and Communications Engineers (IEICE)[DOI]
- H. Y. Lee, "Buffer overflow detection in DEVS simulation using canaries", Proceedings of Winter Simulation Conference (WSC), pp.4554~4555 (2017)
- H. Y. Lee, "Potential Vulnerabilities in C", C++ Based Simulation, 2017, 24~26
- R. Seacord, "Secure Coding in C and C++ (SEI Series in Software Engineering)" (2013), Addison-Wesley Professional