£77.00

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

Price data last checked 120 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£77 today · previous high £77 · all-time low £74

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 611 days • 611 data points (No recent data available)

Historical
Generating forecast...
£77.00 £73.70 £74.42 £75.14 £75.86 £76.58 £77.30 23 May 2024 22 October 2024 24 March 2025 23 August 2025 23 January 2026

Price Distribution

Price distribution over 611 days • 2 price levels

Days at Price
Current Price
259 days 352 days · current 0 88 176 264 352 £74 £77 Days at Price

Price Analysis

Most common price: £77 (352 days, 57.6%)

Price range: £74 - £77

Price levels: 2 different prices over 611 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

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

£66.16 17 Feb 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 07 Mar 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

£89.60 11 Apr 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 07 Mar 2026
Springer - Formal Methods and Models for System Design Book
94% match

Springer - Formal Methods and Models for System Design Book

Springer

£104.85 18 Apr 2026
Source Code Optimization Techniques for Data Flow Dominated Embedded Software
94% match

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Springer

£96.04 18 Apr 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.36 17 Feb 2026
Springer - Source Code Optimization for Embedded Software
94% match

Springer - Source Code Optimization for Embedded Software

Springer

£112.69 01 Mar 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

Out of Stock 12 Mar 2026
Programming Language Implementation: A Practical Introduction with Python
93% match

Programming Language Implementation: A Practical Introduction with Python

£60.00 13 Jan 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 01 Mar 2026
Thinking About Programs (ACM Books)
93% match

Thinking About Programs (ACM Books)

£41.32 01 Feb 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

£50.17 28 Feb 2026
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)
93% match

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

Springer

£43.84 07 Mar 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
93% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£76.02 20 Apr 2026
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
93% match

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer

£63.14 24 Feb 2026
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
93% match

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Springer

£76.14 12 Apr 2026
The Art of C Programming
93% match

The Art of C Programming

Springer

£70.21 13 Jan 2026
Springer - Value-Range Analysis of C Programs Book
93% match

Springer - Value-Range Analysis of C Programs Book

Springer

£108.62 31 Mar 2026
Memory Management for Synthesis of DSP Software
93% match

Memory Management for Synthesis of DSP Software

CRC Press

£130.00 14 Jan 2026
Why Learn C: Go Behind the Curtain of Modern Systems with C23
93% match

Why Learn C: Go Behind the Curtain of Modern Systems with C23

Apress

£44.93 20 Feb 2026
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
93% match

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£32.70 09 Apr 2026
BASIC-Programmierbuch: zu den grundlegenden Ablaufstrukturen der Datenverarbeitung (Programmieren von Mikrocomputern)
93% match

BASIC-Programmierbuch: zu den grundlegenden Ablaufstrukturen der Datenverarbeitung (Programmieren von Mikrocomputern)

Vieweg+Teubner Verlag

£46.99 03 Apr 2026
Understanding Programming Languages
93% match

Understanding Programming Languages

Springer

£53.52 06 Apr 2026