✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods for Quantitative Aspects of Programming Languages Volume 6154 || Information Theory and Security: Quantitative Information Flow

✍ Scribed by Aldini, Alessandro; Bernardo, Marco; Pierro, Alessandra; Wiklicky, Herbert

Book ID: 115490289
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 603 KB
Category: Article
ISBN: 3642136788
DOI: 10.1007/978-3-642-13678-8_3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Security Analysis and Design VI Volume 6858 || Quantitative Information Flow and Applications to Differential Privacy

✍ Aldini, Alessandro; Gorrieri, Roberto 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 366 KB

FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a timely spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical ope

[Lecture Notes in Computer Science] Info

[Lecture Notes in Computer Science] Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks Volume 5019 || Software Cannot Protect Software: An Argument for Dedicated Hardware in Security and a Categorization of the Trustworthiness of Information

✍ Onieva, Jose A.; Sauveron, Damien; Chaumette, Serge; Gollmann, Dieter; Markanton 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 584 KB