Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Principles of Security and Trust: Second International Conference, Post 2013, Held as Part of the European Joint Conferences on Theory and Practice of

Principles of Security and Trust: Second International Conference, Post 2013, Held as Part of the European Joint Conferences on Theory and Practice of

Mitchell, John C.
Basin, David

Paperback

General ComputersNetworkingComputer Security

ISBN10: 3642368298
ISBN13: 9783642368295
Publisher: Springer
Published: Feb 20 2013
Pages: 287
Weight: 0.96
Height: 0.65 Width: 6.14 Depth: 9.21
Language: English
Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks.- Practical Everlasting Privacy.- A Differentially Private Mechanism of Optimal Utility for a Region of Priors.- Proved Generation of Implementations from Computationally Secure Protocol Specifications.- Sound Security Protocol Transformations.- Logical Foundations of Secure Resource Management in Protocol Implementations.- Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage.- Lazy Mobile Intruders.- On Layout Randomization for Arrays and Functions.- A Theory of Agreements and Protection.- Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification.- Proving More Observational Equivalences with ProVerif.- Formal Verification of e-Auction Protocols.- Sessions and Separability in Security Protocols.

Also in

Computer Security

View All