Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Unbekannt

ISBN 10: 364213677X / ISBN 13: 9783642136771

Editore: Springer-Verlag GmbH, 2010

Riguardo questo articolo

Zustand: Sehr gut | Seiten: 167 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 7839629/12

Dati bibliografici

Titolo: Formal Methods for Quantitative Aspects of ...

Casa editrice: Springer-Verlag GmbH

Data di pubblicazione: 2010

Legatura: Brossura

Condizione: Sehr gut

Descrizione articolo

Riassunto:

security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.

Contenuti:

Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.