Modeling and Analyzing Security Protocols with TamarinCas Cremers, Ralf Sasse og 2 andreInnbundetEngelskDel av serien Information Security and CryptographyLegg i handlekurvNettlager
