Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL (Q6488950)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL |
scientific article; zbMATH DE number 7817325
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL |
scientific article; zbMATH DE number 7817325 |
Statements
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL (English)
0 references
14 March 2024
0 references
0.97075217962265
0 references
0.6731554865837097
0 references
0.6690853238105774
0 references
0.6661463379859924
0 references
0.6657999753952026
0 references
