Security preserving program translations.
The analysis of information flow has become a popular technique for ensuring the confidentiality of data. It is in this context that confidentiality policies arise for giving guarantees that private data cannot be inferred by the inspection of public data. Non-interference is an example of a securit...
Saved in:
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | English |
| Published: |
2018
|
| Online Access: | https://hdl.handle.net/20.500.12008/37362 |
| Tags: |
No Tags, Be the first to tag this record!
|