Formal Verification of the LDACS MAKE Protocol
| dc.contributor.author | Mäurer, Nils | |
| dc.contributor.author | Grundner-Culemann, Sophia | |
| dc.contributor.editor | Loebenberger, Daniel | |
| dc.contributor.editor | Nüsken, Michael | |
| dc.date.accessioned | 2022-06-27T17:10:27Z | |
| dc.date.available | 2022-06-27T17:10:27Z | |
| dc.date.issued | 2022 | |
| dc.identifier.doi | 10.18420/cdm-2022-34-24 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/38746 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. / FG KRYPTO | |
| dc.relation.ispartof | crypto day matters 34 | |
| dc.relation.ispartofseries | crypto day matters | |
| dc.title | Formal Verification of the LDACS MAKE Protocol | en |
| dc.type | Text/Abstract | |
| gi.citation.publisherPlace | Bonn | |
| gi.conference.date | 09.-10. Juni 2022 | |
| gi.conference.location | online | |
| gi.conference.sessiontitle | Kurzbeitrag |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- CryptoDayMatters34-24-Maurer.pdf
- Größe:
- 154.8 KB
- Format:
- Adobe Portable Document Format