Foundations of Security, Protocols, and Equational Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030190514, 9783030190521
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finding Intruder Knowledge with Cap-Matching

2019 ◽  
pp. 39-53
Author(s):  
Erin Hanna ◽  
Christopher Lynch ◽  
David Jaz Myers ◽  
Corey Richardson

scholarly journals A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

2019 ◽  
pp. 192-213 ◽  
Author(s):  
Musab A. Alturki ◽  
Tajana Ban Kirigin ◽  
Max Kanovich ◽  
Vivek Nigam ◽  
Andre Scedrov ◽  
...  
Keyword(s):  
Security Protocols

Privacy Protocols

2019 ◽  
pp. 167-191
Author(s):  
Jason Castiglione ◽  
Dusko Pavlovic ◽  
Peter-Michael Seidel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document