You are viewing a plain text version of this content. The canonical link for it is here.
Posted to notifications@teaclave.apache.org by GitBox <gi...@apache.org> on 2021/02/09 03:09:43 UTC
[GitHub] [incubator-teaclave] SeanVer opened a new pull request #481: formal description and verification for access control module
SeanVer opened a new pull request #481:
URL: https://github.com/apache/incubator-teaclave/pull/481
## Description
formal description and verification for access control module
Fixes # (issue)
## Type of change (select or add applied and delete the others)
- New feature (non-breaking change which adds functionality)
## How has this been tested?
It is formal description for the access control module. It has been proved in Isabelle that the description comply with specifications defined in model.conf.
## Checklist
- [ ] Fork the repo and create your branch from `master`.
- [ ] If you've added code that should be tested, add tests.
- [ ] If you've changed APIs, update the documentation.
- [ ] Ensure the tests pass (see CI results).
- [ ] Make sure your code lints/format.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: notifications-unsubscribe@teaclave.apache.org
For additional commands, e-mail: notifications-help@teaclave.apache.org
[GitHub] [incubator-teaclave] SeanVer closed pull request #481: formal description and verification for access control module
Posted by GitBox <gi...@apache.org>.
SeanVer closed pull request #481:
URL: https://github.com/apache/incubator-teaclave/pull/481
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: notifications-unsubscribe@teaclave.apache.org
For additional commands, e-mail: notifications-help@teaclave.apache.org
[GitHub] [incubator-teaclave] SeanVer commented on pull request #481: formal description and verification for access control module
Posted by GitBox <gi...@apache.org>.
SeanVer commented on pull request #481:
URL: https://github.com/apache/incubator-teaclave/pull/481#issuecomment-786463290
> Hi @SeanVer, thanks for your PR. After discuss with the community, I think these can be put in a separated repository. I have created a repo called "Teaclave Verification" which contains formal descriptions, specifications, and proofs for Teaclave. You can find the repo in this link: https://github.com/apache/incubator-teaclave-verification.
>
> You can safely close this PR and create another on to that repo. Thanks!
Hi, @mssun, ok, thanks a lot for your help.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: notifications-unsubscribe@teaclave.apache.org
For additional commands, e-mail: notifications-help@teaclave.apache.org
[GitHub] [incubator-teaclave] mssun commented on pull request #481: formal description and verification for access control module
Posted by GitBox <gi...@apache.org>.
mssun commented on pull request #481:
URL: https://github.com/apache/incubator-teaclave/pull/481#issuecomment-786407282
Hi @SeanVer, thanks for your PR. After discuss with the community, I think these can be put in a separated repository. I have created a repo called "Teaclave Verification" which contains formal descriptions, specifications, and proofs for Teaclave. You can find the repo in this link: https://github.com/apache/incubator-teaclave-verification.
You can safely close this PR and create another on to that repo. Thanks!
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: notifications-unsubscribe@teaclave.apache.org
For additional commands, e-mail: notifications-help@teaclave.apache.org