Modeling Distributed Private Key Generation by Composing Petri Nets

DOI10.1007/978-3-662-45730-6_2MaRDI QIDQ3452467zbMATH OpenOpenAlexFDO

Authors Luca Bernardinello, G. Kılınç, Elisabetta Mangioni, 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

compositionPetri netsmorphismslocal state refinementdistributed private key generation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1024016
• scientific article; zbMATH DE number 2013141
• scientific article; zbMATH DE number 5003467
• scientific article; zbMATH DE number 3858426
• scientific article; zbMATH DE number 1962164
• Modelling a public-key infrastructure

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• Elementary transition systems
• Identity-Based Encryption from the Weil Pairing
• Identity-based cryptosystems and signature schemes
• Local state refinement and composition of elementary net systems: an approach based on morphisms
• On preserving structural and behavioural properties by composing net systems on interfaces
• Petri nets, event structures and domains. I

Cited in

(3)

• scientific article; zbMATH DE number 2013143 (Why is no real title available?)
• Petri nets with name creation for transient secure association
• scientific article; zbMATH DE number 5003467 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452467)