In this short paper, we present preliminary work on the formal analysis of dynamic key management policies using strand spaces. We formalize the notion of dynamic key management policy and put forward what we believe to be a sufficient condition for such dynamic policies to be secure. Finally, we outline the major challenges that we will need to address to make our proposal practical, and we refer to PKCS#11 as a practical case study.
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces
Busi Matteo;Focardi Riccardo;Luccio Flaminia
2023-01-01
Abstract
In this short paper, we present preliminary work on the formal analysis of dynamic key management policies using strand spaces. We formalize the notion of dynamic key management policy and put forward what we believe to be a sufficient condition for such dynamic policies to be secure. Finally, we outline the major challenges that we will need to address to make our proposal practical, and we refer to PKCS#11 as a practical case study.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FCS23_paper_12.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Accesso chiuso-personale
Dimensione
183.98 kB
Formato
Adobe PDF
|
183.98 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
