TY  - RPRT
TI  - Formal Verification of Bootstrapping Remote Secure Key Infrastructures (BRSKI) Protocol Using AVISPA 
AU  - Singh, Monika
AU  - Ranganathan, Mudumbai
PY  - 2020
PB  - National Institute of Standards and Technology
SN  - NIST TN 2123
DO  - 10.6028/NIST.TN.2123
ER  -