Out of stock

This item is currently unavailable

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

Out of stock

Price data last checked 18 day(s) ago - will refresh soon

View at Amazon

One email. No newsletter. No nudges.

Gone for 197 days. Could come back at any time — we're watching for you.

Out of stock 197 days · last price £77 · longest previous gap was 1 days

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 713 days · 713 data points (no recent data)

Historical
Generating forecast…
£77.00 £73.70 £74.42 £75.14 £75.86 £76.58 £77.30 08 September 2024 05 March 2025 30 August 2025 24 February 2026 21 August 2026

Price Distribution

Price distribution over 713 days • 2 price levels

Days at Price
Current Price
151 days 562 days · current 0 141 281 422 562 £74 £77 Days at Price

Price Analysis

Most common price: £77 (562 days, 78.8%)

Price range: £74 - £77

Price levels: 2 different prices over 713 days

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.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
09 October 2023
Listed Since
13 October 2023

Barcode

No barcode data available

Similar Products You Might Like

Data Flow Analysis: Theory and Practice
95% match

Data Flow Analysis: Theory and Practice

CRC Press

£114.94 22 Jul 2026
Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)
94% match

Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)

Springer

£67.77 01 Jul 2026
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
94% match

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Wiley

£116.39 17 Jul 2026
Springer Advances in Design and Specification Languages Book
94% match

Springer Advances in Design and Specification Languages Book

Springer

£82.51 22 Jul 2026
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
94% match

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Springer

£44.99 08 Jul 2026
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)
94% match

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Springer

£79.47 13 Jul 2026
Springer Program Development by Refinement - B Method Book
94% match

Springer Program Development by Refinement - B Method Book

Springer

£104.98 18 Jul 2026
Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)
94% match

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Springer

£44.56 08 Jul 2026
Springer - Formal Methods and Models for System Design Book
94% match

Springer - Formal Methods and Models for System Design Book

Springer

£105.24 15 Jul 2026
Source Code Optimization Techniques for Data Flow Dominated Embedded Software
94% match

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Springer

£84.37 15 Jul 2026
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))
94% match

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£83.13 01 Jul 2026
A Knowledge-Based Approach to Program Understanding: 325 (The Springer International Series in Engineering and Computer Science, 325)
94% match

A Knowledge-Based Approach to Program Understanding: 325 (The Springer International Series in Engineering and Computer Science, 325)

Springer

£73.56 22 Jul 2026
Springer - Source Code Optimization for Embedded Software
94% match

Springer - Source Code Optimization for Embedded Software

Springer

£111.27 06 Jul 2026
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)
94% match

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)

Now Publishers

Price unavailable
System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106)
93% match

System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106)

Springer

£103.81 28 Jul 2026
Springer System Specification and Design Languages FDL 2010
93% match

Springer System Specification and Design Languages FDL 2010

Springer

£108.01 23 Jul 2026
Essential Spectrum-based Fault Localization
93% match

Essential Spectrum-based Fault Localization

Springer

£74.20 13 Jul 2026
Programming Language Implementation: A Practical Introduction with Python
93% match

Programming Language Implementation: A Practical Introduction with Python

£60.00 19 Aug 2026
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science, 2294)
93% match

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science, 2294)

Springer

£44.99 20 Jul 2026
Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques
93% match

Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques

LAP Lambert Academic Publishing

£64.00 06 Jul 2026
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
93% match

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Information Science Reference

£61.28 18 Jul 2026
Thinking About Programs (ACM Books)
93% match

Thinking About Programs (ACM Books)

Wiley

£42.07 28 Aug 2026
Integration of Reusable Systems: 263 (Advances in Intelligent Systems and Computing, 263)
93% match

Integration of Reusable Systems: 263 (Advances in Intelligent Systems and Computing, 263)

Springer

£76.41 04 Jul 2026
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)
93% match

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)

Springer

£41.42 08 Jul 2026