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!
|
Similar Items: Security preserving program translations.
- A Translation Handbook Founded on a Systemic Functional Approach to Improve the Quality of Translations
- Translation for and by Spanish Americans: translators’ role during Spanish America’s struggle for independence
- Log translation invariance of log soft gravitational radiation
- Towards secure distributed computations
- Fertility preservation in male cancer patients. Counseling and reproductive outcomes
- Towards secure distributed computations