From Fine- to Coarse-Grained Dynamic Information Flow Control and Back

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan (Autoren)

Buch | Softcover

130 Seiten

2023
now publishers Inc (Verlag)
978-1-63828-218-1 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Dynamic information-flow control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. This tutorial provides a complete and homogeneous account of the latest advances in fine- and coarse-grained dynamic information-flow control security.Written for students, practitioners and researchers, the authors first introduce both fine- and coarse-grained IFC in a gentle and accessible way, laying the groundwork for subsequent chapters. They proceed to show that, contrary to common belief, the granularity of the tracking system is not a fundamental feature of IFC systems and hence does not restrict how precise or permissive dynamic IFC systems can be. To achieve this, the authors demonstrate practical examples of both Fine to Coarse-Grained and Coarse- to Fine-Grained Program Translation.This tutorial will give readers the insights required to understand, develop and implement dynamic information-flow control to improve the security of a wide variety of software systems.

1. Introduction
2. Fine-Grained IFC Calculus
3. Coarse-Grained IFC Calculus
4. Verified Artifacts
5. Fine- to Coarse-Grained Program Translation
6. Coarse- to Fine-Grained Program Translation
7. Related Work
8. Conclusion
References

Erscheinungsdatum	17.10.2023
Reihe/Serie	Foundations and Trends® in Programming Languages
Verlagsort	Hanover
Sprache	englisch
Maße	156 x 234 mm
Gewicht	194 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
ISBN-10	1-63828-218-8 / 1638282188
ISBN-13	978-1-63828-218-1 / 9781638282181
Zustand	Neuware