@misc{260681, author = {Monika Singh and Mudumbai Ranganathan}, title = {Formal Verification of Bootstrapping Remote Secure Key Infrastructures (BRSKI) Protocol Using AVISPA}, year = {2020}, month = {2020-10-07}, publisher = {Technical Note (NIST TN), National Institute of Standards and Technology, Gaithersburg, MD}, doi = {https://doi.org/10.6028/NIST.TN.2123}, language = {en}, }