ReCFA: Resilient Control-Flow Attestation.

Yumei Zhang Xinzhi Liu Cong Sun Dongrui Zeng Gang Tan Xiao Kan Siqi Ma

Published in: CoRR (2021)

Keyphrases

control flow
data flow
trusted computing
software testing
process model
trusted third party
workflow management systems
transition systems
modeling language
computing platform
business process models
computing environments
business process
reactive systems
test cases
data structure
real world