A specification-based intrusion detection engine for infrastructure-less networks
Remote attestation to dynamic system properties: Towards providing complete system integrity evidence