https://catalogue-scientifique.canada.ca/record=1971269~S6*frc
sri international menlo park ca computer science lab, 2001
CAPSL is a Common Authentication Protocol Specification Language intended to support analysis of cryptographic protocols using formal methods. CAPSL is adapted...
Publication gouvernementale