A derivation system and compositional logic for security protocols

Publisher Website
Google Scholar
Abstract
Many authentication and key exchange protocols are built using an accepted set of standard concepts such as Diffie–Hellman key exchange, nonces to avoid replay, certificates from an accepted authority, and encrypted or signed messages. We propose a g

This publication has 0 references indexed in Scilit: