Self-Checking Tamper-Proofing Based on Software Behavior Model | IEEE Conference Publication | IEEE Xplore