DMCA

Efficient Construction of Machine-Checked Symbolic Protocol Security Proofs (2012)

by Simon Meier , Cas Cremers , David Basin
Citations:6 - 3 self