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-26, 201

Aldini, Alessandro (Editor)

ISBN 10: 364213677X / ISBN 13: 9783642136771

Editore: Springer-Verlag New York Inc, 2010

Riguardo questo articolo

176 pages. 9.00x6.00x0.25 inches. In Stock. Codice articolo x-364213677X

Dati bibliografici

Titolo: Formal Methods for Quantitative Aspects of ...

Casa editrice: Springer-Verlag New York Inc

Data di pubblicazione: 2010

Legatura: Paperback

Condizione: Brand New

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.