EDHOC 是一种新的安全握手标准：安全分析概述

IF 2 4区计算机科学 Q3 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE

Computer Pub Date : 2024-08-30 DOI:10.1109/mc.2024.3415908

Elsa López Pérez, Göran Selander, John Preuß Mattsson, Thomas Watteyne, Mališa Vučinić

{"title":"EDHOC 是一种新的安全握手标准：安全分析概述","authors":"Elsa López Pérez, Göran Selander, John Preuß Mattsson, Thomas Watteyne, Mališa Vučinić","doi":"10.1109/mc.2024.3415908","DOIUrl":null,"url":null,"abstract":"We wrap up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol, a summary of the formal security analyses, and a discussion on open venues for future work.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"82 1","pages":""},"PeriodicalIF":2.0000,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"EDHOC Is a New Security Handshake Standard: An Overview of Security Analysis\",\"authors\":\"Elsa López Pérez, Göran Selander, John Preuß Mattsson, Thomas Watteyne, Mališa Vučinić\",\"doi\":\"10.1109/mc.2024.3415908\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We wrap up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol, a summary of the formal security analyses, and a discussion on open venues for future work.\",\"PeriodicalId\":10623,\"journal\":{\"name\":\"Computer\",\"volume\":\"82 1\",\"pages\":\"\"},\"PeriodicalIF\":2.0000,\"publicationDate\":\"2024-08-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1109/mc.2024.3415908\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1109/mc.2024.3415908","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}

引用次数: 0

摘要

最后，我们将对新的安全握手协议 EDHOC 进行形式分析，概述该协议，总结形式安全分析，并讨论未来工作的开放领域。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

EDHOC Is a New Security Handshake Standard: An Overview of Security Analysis

We wrap up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol, a summary of the formal security analyses, and a discussion on open venues for future work.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Computer 工程技术-计算机：软件工程

CiteScore

3.90

自引率

4.50%

发文量

378

审稿时长

12 months

期刊介绍： Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications. The aim is to provide more technical substance than trade magazines and more practical ideas than research journals. Computer seeks to deliver useful information for all computing professionals and students, including computer scientists, engineers, and practitioners of all levels.