Amanote Research
Register
Sign In
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice
doi 10.1109/sp.2018.00033
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2018
Authors
Vincent Cheval
Steve Kremer
Itsaka Rakotonirina
Publisher
IEEE