Log-Based Control Flow Attestation for Embedded Devices.

Jingbin Liu Qin Yu Wei Liu Shijun Zhao Dengguo Feng Weifeng Luo

Published in: CSS (1) (2019)

Keyphrases

embedded devices
control flow
data flow
embedded systems
mobile devices
process model
workflow management systems
software testing
formal semantics
high level
real time
data sets
multi dimensional
data storage
flash memory
modeling language