Soft tamper-proofing via program integrity verification in wireless sensor networks | IEEE Journals & Magazine | IEEE Xplore