A verifiable protection system