Modeling Distributed Private Key Generation by Composing Petri Nets

DOI10.1007/978-3-662-45730-6_2zbMath1428.68196OpenAlexW1526335316MaRDI QIDQ3452467

Luca Bernardinello, Elisabetta Mangioni, Görkem Kılınç, Lucia Pomello

Publication date: 12 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45730-6_2

zbMATH Keywords

Petri netscompositionmorphismslocal state refinementdistributed private key generation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Petri nets, event structures and domains. I
• Elementary transition systems
• Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms
• Identity-Based Cryptosystems and Signature Schemes
• Identity-Based Encryption from the Weil Pairing
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling Distributed Private Key Generation by Composing Petri Nets