TEE验证TA程序的设计