commit | 76abb09ea43fff7147785e99fa18a4be78487a2f | [log] [tgz] |
---|---|---|
author | 小狈 <caoshuang.cs@antgroup.com> | Fri Feb 26 13:50:40 2021 +0800 |
committer | 小狈 <caoshuang.cs@antgroup.com> | Fri Feb 26 13:50:40 2021 +0800 |
tree | 1e7e75763e61fa71610a33b1cdcb0c21a3f427d6 | |
parent | 952d50e270bc31f1ac41c7debe498157890f9303 [diff] |
baseline for the formal description and verification of access control module of incubator-teaclave Signed-off-by: Cao Shuang <caoshuang.cs@antfin.com>