@article{ART001176241},
author={Sung-Soo Lim and Kihwal Lee},
title={Ensuring Securityllable Real-Time Systems by Static Program Analysis},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2005},
volume={10},
number={3},
pages={75-88}
TY - JOUR
AU - Sung-Soo Lim
AU - Kihwal Lee
TI - Ensuring Securityllable Real-Time Systems by Static Program Analysis
JO - Journal of The Korea Society of Computer and Information
PY - 2005
VL - 10
IS - 3
PB - The Korean Society Of Computer And Information
SP - 75
EP - 88
SN - 1598-849X
AB - 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.
KW - Real-time system;static program analysis;system security
DO -
UR -
ER -
Sung-Soo Lim and Kihwal Lee. (2005). Ensuring Securityllable Real-Time Systems by Static Program Analysis. Journal of The Korea Society of Computer and Information, 10(3), 75-88.
Sung-Soo Lim and Kihwal Lee. 2005, "Ensuring Securityllable Real-Time Systems by Static Program Analysis", Journal of The Korea Society of Computer and Information, vol.10, no.3 pp.75-88.
Sung-Soo Lim, Kihwal Lee "Ensuring Securityllable Real-Time Systems by Static Program Analysis" Journal of The Korea Society of Computer and Information 10.3 pp.75-88 (2005) : 75.
Sung-Soo Lim, Kihwal Lee. Ensuring Securityllable Real-Time Systems by Static Program Analysis. 2005; 10(3), 75-88.
Sung-Soo Lim and Kihwal Lee. "Ensuring Securityllable Real-Time Systems by Static Program Analysis" Journal of The Korea Society of Computer and Information 10, no.3 (2005) : 75-88.
Sung-Soo Lim; Kihwal Lee. Ensuring Securityllable Real-Time Systems by Static Program Analysis. Journal of The Korea Society of Computer and Information, 10(3), 75-88.
Sung-Soo Lim; Kihwal Lee. Ensuring Securityllable Real-Time Systems by Static Program Analysis. Journal of The Korea Society of Computer and Information. 2005; 10(3) 75-88.
Sung-Soo Lim, Kihwal Lee. Ensuring Securityllable Real-Time Systems by Static Program Analysis. 2005; 10(3), 75-88.
Sung-Soo Lim and Kihwal Lee. "Ensuring Securityllable Real-Time Systems by Static Program Analysis" Journal of The Korea Society of Computer and Information 10, no.3 (2005) : 75-88.
