Expressing Information Flow Properties

ISBN-13: 9781680839364 / Angielski / Miękka / 2022 / 120 str.

Elisavet Kozyri; Stephen Chong; Andrew C. Myers

Spis treści

• 1. Introduction
• 2. Noninterference
• 3. Labels
• 4. Threat Model
• 5. Computational Models
• 6. Reclassification
• 7. Information Flow Policies and Authorization
• 8. Quantitative Information Flow Properties
• 9. Future Directions
• Acknowledgements
• References