Formal Methods for Quantitative Aspects of Programming Lang.
(Sprache: Englisch)
security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Formal Methods for Quantitative Aspects of Programming Lang. “
Klappentext zu „Formal Methods for Quantitative Aspects of Programming Lang. “
security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.
Inhaltsverzeichnis zu „Formal Methods for Quantitative Aspects of Programming Lang. “
Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.
Bibliographische Angaben
- 167 Seiten, Maße: 16,1 x 24 cm, Kartoniert (TB), Englisch
- Herausgegeben: Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
- Verlag: Springer Berlin
- ISBN-10: 364213677X
- ISBN-13: 9783642136771
- Erscheinungsdatum: 11.06.2010
Sprache:
Englisch
Kommentar zu "Formal Methods for Quantitative Aspects of Programming Lang."
0 Gebrauchte Artikel zu „Formal Methods for Quantitative Aspects of Programming Lang.“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods for Quantitative Aspects of Programming Lang.".
Kommentar verfassen