Security Verification of Secure Processor Architectures and Systems