Theory of Security and Applications
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Union and Intersection Types for Secure Protocol Implementations
-
Altmetric BadgeChapter 2 Secure Composition of Protocols
-
Altmetric BadgeChapter 3 Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
-
Altmetric BadgeChapter 4 G2C: Cryptographic Protocols from Goal-Driven Specifications
-
Altmetric BadgeChapter 5 Modeling Long-Term Signature Validation for Resolution of Dispute
-
Altmetric BadgeChapter 6 Formal Analysis of Privacy for Anonymous Location Based Services
-
Altmetric BadgeChapter 7 Formal Analysis of the EMV Protocol Suite
-
Altmetric BadgeChapter 8 Security Goals and Protocol Transformations
-
Altmetric BadgeChapter 9 Model-Checking Secure Information Flow for Multi-threaded Programs
-
Altmetric BadgeChapter 10 Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
-
Altmetric BadgeChapter 11 Automated Code Injection Prevention for Web Applications
-
Altmetric BadgeChapter 12 Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR