100644 blob 9c1c1494027f61385305f19149911c34ce58e236	AttrConf.thy
100644 blob b82b1c98cea9e849a0c6b6e9b798e4cf6cb3d17f	FDP_ACC.thy
100644 blob 09a057a8576bd337fcf7916ad98eeab5dfde6ac0	FDP_ACF.thy
100644 blob 889835c9d4cff8b7660c2ac630d63d09cb46a67e	FDP_IFC.thy
100644 blob 6b744e50db3a60d5d1654b1ea9586dd2c9435ffb	FDP_IFF.thy
100644 blob 26fbf56760d80b1b1c1370e894357ede009bffa4	FIA_USB.thy
100644 blob bc29bef694d2ca7001b62aa0d17ecb760143b350	FMT_MSA.thy
100644 blob 133a1889e2ee8652633ee8cdcb81e85dd4afd848	InfoType.thy
100644 blob 0b697ac18983a28ac0ee6c5aa7da3c04fc80f41b	ModelConf.thy
100644 blob 24b7300c58d7048c9e5995dd30b0d84e77293d9f	README.md
100644 blob 13970bb78383ac93f7e99aa60931308f645d5575	ResrcAttr.thy
100644 blob 5bff4cbeefa0881fe58037747d734210943e1ffb	ResrcType.thy
100644 blob 9b63d0ed7c5b74c2faf95075a53be85efb61b941	SysId.thy
100644 blob b1bcd6bdc43f1fe135656532efa2baf0c2a54a8d	TeaclaveAccessControl.thy
100644 blob 48f3db18359497233d3525741e28f960ba39f3ed	TeaclaveRequirements.thy
100644 blob 5b66c5dc6b062d92af06b43b2124898fb92a6ec2	TrustLevel.thy
100644 blob 0683f42e97d6ae0b18fd0de8e3ee9cb4fc376bb8	UsrAttr.thy
040000 tree b31ebf0e833da0e031451b4a5e0561946fd6a9eb	interpretation