From Fine- to Coarse-Grained Dynamic Information Flow Control and Back (Foundations and Trends® in Programming Languages)

Vassena, Marco/ Russo, Alejandro/ Garg, Deepak

now publishers Inc（2023/10発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 130 p.
• 言語 ENG
• 商品コード 9781638282181

Full Description

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.

Contents

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