Logic and legal protection for TPMs