An application specific dynamic behaviour model using function-call sequence and memory access-graph for execution integrity verification.