2,130 followers
Open Access UCL Research: A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols https://t.co/aFJXPvk9U4
Foundations of Security, Protocols, and Equational Reasoning
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Cathy Meadows: A Central Figure in Protocol Analysis
-
Altmetric BadgeChapter 2 A Long, Slow Conversation
-
Altmetric BadgeChapter 3 Key Reminiscences
-
Altmetric BadgeChapter 4 Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method
-
Altmetric BadgeChapter 5 Finding Intruder Knowledge with Cap-Matching
-
Altmetric BadgeChapter 6 Robust Declassification by Incremental Typing
-
Altmetric BadgeChapter 7 JRIF: Reactive Information Flow Control for Java
-
Altmetric BadgeChapter 8 Symbolic Timed Trace Equivalence
-
Altmetric BadgeChapter 9 Symbolic Analysis of Identity-Based Protocols
-
Altmetric BadgeChapter 10 Enrich-by-Need Protocol Analysis for Diffie-Hellman
-
Altmetric BadgeChapter 11 Key Agreement via Protocols
-
Altmetric BadgeChapter 12 Privacy Protocols
-
Altmetric BadgeChapter 13 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols
-
Altmetric BadgeChapter 14 Belenios: A Simple Private and Verifiable Electronic Voting System
Attention for Chapter 13:
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols