@inproceedings{436a39f070724cc9985731c4600de426,
title = "A novel security validation in embedded system",
abstract = "Most embedded systems contain a number of software vulnerabilities, such as program buffer overflow. The physical attacks in embedded systems are also becoming more and more common. This paper presents a fast, effective and reliable algorithm for tagging and validating what can be used in embedded systems. The compiler automatically collects the secure tags for each main memory segment at compile time. At run-time, the designed hardware observes the dynamic execution trace, and checks whether the trace conforms to the permissible behavior and triggers the appropriate response mechanisms according to the check result. This design does not change the compiler or the existing instruction set, with no restriction on the software developer. The design is implemented on an actual SOPC platform. Experimental analysis shows that the proposed techniques can eliminate a wide range of common software and physical attacks, with low performance penalties and minimal overheads.",
keywords = "embedded systems, execution behavior, hardware-assisted, intrusion detection, memory access validation, secure tag",
author = "Xiang Wang and Bin Xu and Weike Wang and Lin Li and Pei Du and Cheng Zhou and Mingzhe Li and Tongsheng Xia",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 8th IEEE International Conference on Software Engineering and Service Science, ICSESS 2017 ; Conference date: 24-11-2017 Through 26-11-2017",
year = "2017",
month = jul,
day = "2",
doi = "10.1109/ICSESS.2017.8342994",
language = "英语",
series = "Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS",
publisher = "IEEE Computer Society",
pages = "632--635",
editor = "Li Wenzheng and Babu, \{M. Surendra Prasad\} and Lei Xiaohui",
booktitle = "ICSESS 2017 - Proceedings of 2017 IEEE 8th International Conference on Software Engineering and Service Science",
address = "美国",
}