Verification of Copy-Protection Cryptographic Protocol using Approximations of Term Rewriting System

[1]  C. Meadows.  Open issues in formal methods for cryptographic protocol analysis , 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.