Timed Traces and Strand Spaces

DOI10.1007/978-3-540-74510-5_38zbMATH Open1188.68073OpenAlexW1539079134MaRDI QIDQ3499787FDOQ3499787

Authors: Robin S. Sharp, Michael R. Hansen 

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

Recommendations

• Modelling and checking timed authentication of security protocols
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Is Your Security Protocol on Time ?
• scientific article; zbMATH DE number 2111736
• scientific article; zbMATH DE number 1954376

zbMATH Keywords

verificationreal-timesecurity protocolsinterval logic

Mathematics Subject Classification ID

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

Cited In (3)

• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• Title not available (Why is that?)
• An inductive approach to strand spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499787)