Modeling Distributed Private Key Generation by Composing Petri Nets

DOI10.1007/978-3-662-45730-6_2zbMATH Open1428.68196OpenAlexW1526335316MaRDI QIDQ3452467FDOQ3452467

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

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

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)

Cites Work

• Petri nets, event structures and domains. I
• Identity-Based Cryptosystems and Signature Schemes
• Title not available (Why is that?)
• Identity-Based Encryption from the Weil Pairing
• Title not available (Why is that?)
• Elementary transition systems
• 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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Petri nets with name creation for transient secure association

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)