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. Copyright © 2013 for the individual papers by the papers' authors
Bernardinello, L., Kilinc, G., Mangioni, E., POMELLO CHINAGLIA POMELLO, L. (2013). Modeling Distributed Private Key Generation by Composing Petri Nets. In Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13) (pp.77-96). Aachen.
Modeling Distributed Private Key Generation by Composing Petri Nets
BERNARDINELLO, LUCA;KILINC, GORKEM;MANGIONI, ELISABETTA;POMELLO CHINAGLIA POMELLO, LUCIA
2013
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. Copyright © 2013 for the individual papers by the papers' authors
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
