This is an automated email from the ASF dual-hosted git repository.
yulongzhang pushed a change to branch master
in repository
https://gitbox.apache.org/repos/asf/incubator-teaclave-verification.git.
from 76abb09 baseline for the formal description and verification of
access control module of incubator-teaclave
new 50fe7b2 update README.md at root directory
new 8617dc0 Extra lemma proof and add more axioms
new cc3aa0c Merge pull request #2 from SeanVer/master
The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
README.md | 158 ++++++++++
access_control_module/AttrConf.thy | 327 ++++++++++++++++-----
.../interpretation/I_AttrConf.thy | 255 ++++------------
access_control_module/interpretation/I_FMT_MSA.thy | 227 ++++++--------
4 files changed, 571 insertions(+), 396 deletions(-)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
