Typed Multiset Rewriting Specifications of Security Protocols

DOI10.1016/S1571-0661(05)80035-0zbMath1264.68075WikidataQ115012757 ScholiaQ115012757MaRDI QIDQ4923367

Iliano Cervesato

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Related Items (4)

Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item ⋮ Typed Multiset Rewriting Specifications of Security Protocols

Cites Work

• On the security of public key protocols
• A framework for defining logics
• Using encryption for authentication in large networks of computers
• Typed Multiset Rewriting Specifications of Security Protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Typed Multiset Rewriting Specifications of Security Protocols