MiTEE Design Layer Security Proof

Theories

• MiTEE_Design_Sec
• MiTEE_Design_Sec_Memory
• MiTEE_Design_Sec_InvokeCommand
• MiTEE_Design_Sec_OpenSession
• MiTEE_Design_Sec_CloseSession