Path	Lines of Code
access_control_module/AttrConf.thy	623
access_control_module/FDP_ACC.thy	109
access_control_module/FDP_ACF.thy	129
access_control_module/FDP_IFC.thy	22
access_control_module/FDP_IFF.thy	22
access_control_module/FIA_USB.thy	76
access_control_module/FMT_MSA.thy	178
access_control_module/InfoType.thy	38
access_control_module/ModelConf.thy	143
access_control_module/ResrcAttr.thy	213
access_control_module/ResrcType.thy	48
access_control_module/SysId.thy	28
access_control_module/TeaclaveAccessControl.thy	152
access_control_module/TeaclaveRequirements.thy	75
access_control_module/TrustLevel.thy	38
access_control_module/UsrAttr.thy	48
access_control_module/interpretation/I_AttrConf.thy	221
access_control_module/interpretation/I_FDP_ACC.thy	38
access_control_module/interpretation/I_FDP_ACF.thy	153
access_control_module/interpretation/I_FIA_USB.thy	50
access_control_module/interpretation/I_FMT_MSA.thy	439
access_control_module/interpretation/I_InfoType.thy	40
access_control_module/interpretation/I_ModelConf.thy	132
access_control_module/interpretation/I_ResrcAttr.thy	226
access_control_module/interpretation/I_ResrcType.thy	58
access_control_module/interpretation/I_SysId.thy	133
access_control_module/interpretation/I_TeaclaveAccessControl.thy	42
access_control_module/interpretation/I_TrustLevel.thy	40
access_control_module/interpretation/I_UsrAttr.thy	41