Works citing this work

2 works

Work: On the security of public key protocols

1. Formal Verification of Cryptographic Protocols

   Luca Durante

   ArticleAdvanced Authentication Protocols Security20090 citations

   ABIABI:AkademIndex/openalex/2009.article.000309

2. Contemporary Cybersecurity Framework for Industrial Cloud Deployment

   I. Kabulov, C. Karthikeyan, Prashant Chourasiya +3

   ArticleCloud Data Security Solutions20240 citations

   ABIABI:AkademIndex/openalex/2024.article.010475