NIST · ИТ · 611341af8b3c1e4c9b9b
Formal Verification of Bootstrapping Remote Secure Key Infrastructures (BRSKI) Protocol Using AVISPA
The last decade has seen significant growth in the number of IoT devices. These devices can connect to each other and networks. The process through which a new IoT device connects to the network and subsequently enables its services is called bootstrapping
NIST · ИТОфициальный источник · 2020-10-07
{
"title_en": "Formal Verification of Bootstrapping Remote Secure Key Infrastructures (BRSKI) Protocol Using AVISPA",
"designation": "",
"series": "",
"status": "",
"date": "2020-10-07",
"date_original": "October 7, 2020",
"url": "https://www.nist.gov/publications/formal-verification-bootstrapping-remote-secure-key-infrastructures-brski-protocol",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Monika Singh , Mudumbai Ranganathan",
"abstract_excerpt_en": "The last decade has seen significant growth in the number of IoT devices. These devices can connect to each other and networks. The process through which a new IoT device connects to the network and subsequently enables its services is called bootstrapping",
"id": "611341af8b3c1e4c9b9b",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "Formal Verification of Bootstrapping Remote Secure Key Infrastructures (BRSKI) Protocol Using AVISPA",
"designation": "",
"series": "",
"status": "",
"date": "2020-10-07",
"date_original": "October 7, 2020",
"url": "https://www.nist.gov/publications/formal-verification-bootstrapping-remote-secure-key-infrastructures-brski-protocol",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Monika Singh , Mudumbai Ranganathan",
"abstract_excerpt_en": "The last decade has seen significant growth in the number of IoT devices. These devices can connect to each other and networks. The process through which a new IoT device connects to the network and subsequently enables its services is called bootstrapping"
}
],
"translation_state": "none"
}