검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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

Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation 이산 사건 시스템 사양 기반 시뮬레이션에서 상태 변수 손상의 체계적 탐지

Hae Young LEE, Jin Myoung KIM

  • 조회수

    0

  • 이것을 인용

요약 :

이 편지에서는 시뮬레이션 모델의 버퍼 오버플로로 인해 발생하는 상태 변수 손상을 체계적으로 감지할 수 있는 보다 안전한 모델링 및 시뮬레이션 접근 방식을 제안합니다. 우리의 접근 방식을 사용하면 개발자는 손상과 관련된 보안 코딩 관행을 고려하지 않을 수 있습니다. 우리는 모델링 및 시뮬레이션 형식주의와 오픈 소스 시뮬레이터를 기반으로 접근 방식의 프로토타입을 구현했습니다. 최적화를 통해 프로토타입은 원래 시뮬레이터에 비해 더 나은 성능을 보여주고 상태 변수 손상을 감지할 수 있었습니다.

발행
IEICE TRANSACTIONS on Information Vol.E103-D No.7 pp.1769-1772
발행일
2020/07/01
공개일
2020/04/17
온라인 ISSN
1745-1361
DOI
10.1587/transinf.2019EDL8219
원고의 종류
LETTER
범주
소프트웨어 시스템

작성자

Hae Young LEE
  Cheongju University
Jin Myoung KIM
  SKKU

키워드