As the emphasis of data privacy has been imposed by many legal regulations, companies and individuals are becoming aware of the protection of sensitive data in use. However, currently there is no good tool to enforce data privacy policies on the cloud while providing automatic enforcement with formal guarantees. This data analysis framework (though work in progress) adds support for automatic and formal data privacy policy enforcement.
This framework is not finished yet and has the following ongoing tasks:
Access control design – policy semiring
Data privacy scheme enforcement
Formal models and proofs
Policy language design and automatic generation of executors
While this is not finished, it should be able to perform basic data analysis jobs.
Type of change (select or add applied and delete the others)
[ ] Bug fix (non-breaking change which fixes an issue)
[x] New feature (non-breaking change which adds functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
[ ] API change with a documentation update
[ ] Additional test coverage
[ ] Code cleanup or just sync with upstream third-party crates
How has this been tested?
Checklist
[x] Fork the repo and create your branch from master.
[x] If you've added code that should be tested, add tests.
[ ] If you've changed APIs, update the documentation.
Description
As the emphasis of data privacy has been imposed by many legal regulations, companies and individuals are becoming aware of the protection of sensitive data in use. However, currently there is no good tool to enforce data privacy policies on the cloud while providing automatic enforcement with formal guarantees. This data analysis framework (though work in progress) adds support for automatic and formal data privacy policy enforcement.
This framework is not finished yet and has the following ongoing tasks:
While this is not finished, it should be able to perform basic data analysis jobs.
Type of change (select or add applied and delete the others)
How has this been tested?
Checklist
master.