Self-healing control flow protection in sensor applications.

Christopher Ferguson Qijun Gu Hongchi Shi

Published in: WISEC (2009)

Keyphrases

control flow
data flow
process model
sensor networks
software systems
sensor data
computing systems
software testing
workflow management systems
transition systems
business process models
reactive systems
information security
modeling language
formal semantics
fault model
business processes
artificial intelligence