SIGNET™ is a multifunctional tool for making secure large, complex Petri net projects. It provides for: (a) authentication, digital signature, and public-key encryption of net plans and their analysis (reachability graphs and net invariants) to be transmitted or stored, and (b) detection and correction of marking errors in Petri nets used for monitoring system implementations.
SIGNET : a Tool for Securing Complex Petri-Net Projects / A. Pagnoni, A. Visconti - In: Entwurf komplexer Automatisierungssysteme - EKA 2006 : Beschreibungsmittel, Methoden und Werkzeuge für Entwurf und Zuverlässigkeit von Anwendungen in Automatisierung und Verkehr ; 9. Fachtagung, 29.-31. Mai 2006 in Braunschweig / Hrsg. E. Schnieder / [a cura di] Eckehard Schnieder. - Braunschweig : Institut für Verkehrssicherheit und Automatisierungstechnik, 2006. - ISBN 3-9803363-9-5. (( convegno EKA 2006 tenutosi a Braunschweig nel 2006.
SIGNET : a Tool for Securing Complex Petri-Net Projects
A. PagnoniPrimo
;A. ViscontiUltimo
2006
Abstract
SIGNET™ is a multifunctional tool for making secure large, complex Petri net projects. It provides for: (a) authentication, digital signature, and public-key encryption of net plans and their analysis (reachability graphs and net invariants) to be transmitted or stored, and (b) detection and correction of marking errors in Petri nets used for monitoring system implementations.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
