Open Access
16
https://doi.org/10.1561/2500000001

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial

Jan 1, 2014
Foundations and Trends® in Programming Languages
Véronique Cortier +1 more

Show More

Abstract

Translate Article

Take Notes

International audience

Ask R Discovery
Chat PDF

AI summaries and top papers from 250M+ research sources.