본문 바로가기
  • Home

Ensuring Securityllable Real-Time Systems by Static Program Analysis

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2005, 10(3), pp.75-88
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

Sung-Soo Lim 1 Kihwal Lee 2

1국민대학교
2University of Illinois at Urbana - Champaign

Candidate

ABSTRACT

This paper proposes a method to ensure security attacks caused by insertion of malicious codes in a real-time control system that can be accessed through networks. The proposed technique is for dynamically upgradable real-time software through networks and based on a static program analysis technique to detect the malicious uses of memory access statements. Validation results are shown using a remotely upgradable real-time control system equipped with a modified compiler where the proposed security technique is applied.

Citation status

* References for papers published after 2022 are currently being built.