We present a Petri net model of a protocol for the distributed generation of id-based private keys. Those keys can then be used for secure communications. The components of the system are built as refinements of a common interface, by applying a formal operation based on a class of morphisms between Elementary Net Systems. It is then shown that we can derive behavioural properties of the composed system without building it explicitly, by exploiting properties of the given morphisms.
Bernardinello, L., Kilinc, G., Mangioni, E., POMELLO CHINAGLIA POMELLO, L. (2014). Modeling Distributed Private Key Generation by Composing Petri Nets. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY, 9, 19-40 [10.1007/978-3-662-45730-6_2].
Modeling Distributed Private Key Generation by Composing Petri Nets
BERNARDINELLO, LUCAPrimo
;KILINC, GORKEMSecondo
;MANGIONI, ELISABETTAPenultimo
;POMELLO CHINAGLIA POMELLO, LUCIAUltimo
2014
Abstract
We present a Petri net model of a protocol for the distributed generation of id-based private keys. Those keys can then be used for secure communications. The components of the system are built as refinements of a common interface, by applying a formal operation based on a class of morphisms between Elementary Net Systems. It is then shown that we can derive behavioural properties of the composed system without building it explicitly, by exploiting properties of the given morphisms.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
