DMCA

Using Trace Formulae for Security Protocol Design

by Ricardo Corin , Antonio Durante , Sandro Etalle , Ro Etalle , Pieter Hartel