TY  - GEN
AU  - Monika Singh
AU  - Mudumbai Ranganathan
C2  - Technical Note (NIST TN), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2020-10-07
DO  - https://doi.org/10.6028/NIST.TN.2123
LA  - en
PB  - Technical Note (NIST TN), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2020
TI  - Formal Verification of Bootstrapping Remote Secure Key Infrastructures (BRSKI) Protocol Using AVISPA
ER  -