path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
access_control_module/FDP_IFF.thy	22	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/SysId.thy	28	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/AttrConf.thy	623	4	897	560	4	3	2021-02-26	2022-01-29	caoshuang.cs@antgroup.com	77425230+seanver@users.noreply.github.com
access_control_module/FDP_IFC.thy	22	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/TrustLevel.thy	38	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/FDP_ACC.thy	109	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_AttrConf.thy	221	4	897	560	4	3	2021-02-26	2022-01-29	caoshuang.cs@antgroup.com	77425230+seanver@users.noreply.github.com
access_control_module/interpretation/I_FIA_USB.thy	50	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_TrustLevel.thy	40	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_TeaclaveAccessControl.thy	42	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_ModelConf.thy	132	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_ResrcAttr.thy	226	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_UsrAttr.thy	41	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_FDP_ACC.thy	38	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_FMT_MSA.thy	439	4	897	560	4	3	2021-02-26	2022-01-29	caoshuang.cs@antgroup.com	77425230+seanver@users.noreply.github.com
access_control_module/interpretation/I_InfoType.thy	40	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_FDP_ACF.thy	153	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_ResrcType.thy	58	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/interpretation/I_SysId.thy	133	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/TeaclaveAccessControl.thy	152	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/TeaclaveRequirements.thy	75	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/FDP_ACF.thy	129	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/FMT_MSA.thy	178	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/ResrcType.thy	48	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/InfoType.thy	38	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/UsrAttr.thy	48	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/ModelConf.thy	143	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/ResrcAttr.thy	213	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com
access_control_module/FIA_USB.thy	76	1	897	897	1	1	2021-02-26	2021-02-26	caoshuang.cs@antgroup.com	caoshuang.cs@antgroup.com