[incubator-teaclave-verification] branch master updated (952d50e -> 76abb09)

[ms...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

mssun pushed a change to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git.


    from 952d50e  Initial commit
     add 76abb09  baseline for the formal description and verification of access control module of incubator-teaclave

No new revisions were added by this update.

Summary of changes:
 access_control_module/AttrConf.thy                 | 202 ++++++++
 access_control_module/FDP_ACC.thy                  | 116 +++++
 access_control_module/FDP_ACF.thy                  | 133 ++++++
 access_control_module/FDP_IFC.thy                  |  24 +
 access_control_module/FDP_IFF.thy                  |  24 +
 access_control_module/FIA_USB.thy                  |  80 ++++
 access_control_module/FMT_MSA.thy                  | 184 ++++++++
 access_control_module/InfoType.thy                 |  44 ++
 access_control_module/ModelConf.thy                | 149 ++++++
 access_control_module/README.md                    | 145 ++++++
 access_control_module/ResrcAttr.thy                | 224 +++++++++
 access_control_module/ResrcType.thy                |  56 +++
 access_control_module/SysId.thy                    |  32 ++
 access_control_module/TeaclaveAccessControl.thy    | 163 +++++++
 access_control_module/TeaclaveRequirements.thy     |  82 ++++
 access_control_module/TrustLevel.thy               |  44 ++
 access_control_module/UsrAttr.thy                  |  54 +++
 .../interpretation/I_AttrConf.thy                  | 379 +++++++++++++++
 access_control_module/interpretation/I_FDP_ACC.thy |  42 ++
 access_control_module/interpretation/I_FDP_ACF.thy | 160 +++++++
 access_control_module/interpretation/I_FIA_USB.thy |  54 +++
 access_control_module/interpretation/I_FMT_MSA.thy | 523 +++++++++++++++++++++
 .../interpretation/I_InfoType.thy                  |  45 ++
 .../interpretation/I_ModelConf.thy                 | 140 ++++++
 .../interpretation/I_ResrcAttr.thy                 | 244 ++++++++++
 .../interpretation/I_ResrcType.thy                 |  65 +++
 access_control_module/interpretation/I_SysId.thy   | 153 ++++++
 .../interpretation/I_TeaclaveAccessControl.thy     |  46 ++
 .../interpretation/I_TrustLevel.thy                |  45 ++
 access_control_module/interpretation/I_UsrAttr.thy |  47 ++
 30 files changed, 3699 insertions(+)
 create mode 100644 access_control_module/AttrConf.thy
 create mode 100644 access_control_module/FDP_ACC.thy
 create mode 100644 access_control_module/FDP_ACF.thy
 create mode 100644 access_control_module/FDP_IFC.thy
 create mode 100644 access_control_module/FDP_IFF.thy
 create mode 100644 access_control_module/FIA_USB.thy
 create mode 100644 access_control_module/FMT_MSA.thy
 create mode 100644 access_control_module/InfoType.thy
 create mode 100644 access_control_module/ModelConf.thy
 create mode 100644 access_control_module/README.md
 create mode 100644 access_control_module/ResrcAttr.thy
 create mode 100644 access_control_module/ResrcType.thy
 create mode 100644 access_control_module/SysId.thy
 create mode 100644 access_control_module/TeaclaveAccessControl.thy
 create mode 100644 access_control_module/TeaclaveRequirements.thy
 create mode 100644 access_control_module/TrustLevel.thy
 create mode 100644 access_control_module/UsrAttr.thy
 create mode 100644 access_control_module/interpretation/I_AttrConf.thy
 create mode 100644 access_control_module/interpretation/I_FDP_ACC.thy
 create mode 100644 access_control_module/interpretation/I_FDP_ACF.thy
 create mode 100644 access_control_module/interpretation/I_FIA_USB.thy
 create mode 100644 access_control_module/interpretation/I_FMT_MSA.thy
 create mode 100644 access_control_module/interpretation/I_InfoType.thy
 create mode 100644 access_control_module/interpretation/I_ModelConf.thy
 create mode 100644 access_control_module/interpretation/I_ResrcAttr.thy
 create mode 100644 access_control_module/interpretation/I_ResrcType.thy
 create mode 100644 access_control_module/interpretation/I_SysId.thy
 create mode 100644 access_control_module/interpretation/I_TeaclaveAccessControl.thy
 create mode 100644 access_control_module/interpretation/I_TrustLevel.thy
 create mode 100644 access_control_module/interpretation/I_UsrAttr.thy


---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org