Formal Aspects of Security and TrustGilles Barthe

Formal Aspects of Security and Trust

Gilles Barthe, Anupam Datta, Sandro Etalle · 2012

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2012
Publisher: Springer
Editions: 1
Pages: 292
ISBN: 9783642294211

Data source: Wikidata

More by Gilles Barthe

Foundations of Probabilistic ProgrammingGilles Barthe

Foundations of Probabilistic Programming

Gilles Barthe · 2020

Security and Trust ManagementGilles Barthe

Security and Trust Management

Gilles Barthe · 2016

Software Engineering and Formal MethodsGilles Barthe

Software Engineering and Formal Methods

Gilles Barthe · 2011

Programming Languages and SystemsGilles Barthe

Programming Languages and Systems

Gilles Barthe · 2011

Verification, Model Checking, and Abstract InterpretationGilles Barthe

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe · 2010

Trustworthy Global ComputingGilles Barthe

Trustworthy Global Computing

Gilles Barthe · 2008

Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe · 2006

Applied SemanticsGilles Barthe

Applied Semantics

Gilles Barthe · 2003

L'enfance spirituelleGilles Barthe

L'enfance spirituelle

Gilles Barthe · 2001