Timed Traces and Strand Spaces

DOI10.1007/978-3-540-74510-5_38zbMath1188.68073OpenAlexW1539079134MaRDI QIDQ3499787

Michael R. Hansen, Robin S. Sharp

Publication date: 3 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74510-5_38

zbMATH Keywords

verificationreal-timesecurity protocolsinterval logic

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

An inductive approach to strand spaces

This page was built for publication: Timed Traces and Strand Spaces