Validation and approval of PN ciphered subnets: Security in PN sharing and storage using PNML, xmlsecurity and xmlsignature

Resumen

In this work I board the study of Petri nets from the point of view of the security. There several goals. First of all, I will take advantage from my previous work in order to complete a subnetting process. Then, the creation of a PNML extension that allows the representation of subnets structures. One application of this subnetting and PNML representation is the possibility of hiding part of a Petri net, facing a possible distribution, maintaining the privacy of the critical, secret, or complex parts of the system. However this hidden information is not eliminated from the net, but encrypted inside. Other application explained is the possibility of digital signature of subnets, providing security services to the net and/or subnets. My contributions to knowledge are: 1. Comprehensive study of subnets, abstracting their internal structure from the exterior by using front-ends. A method to build these subnets from the complete Petri net is explained and analyzed matrixed. 2. PNML has no way to represent subnets, so I approach a possible PNML extension to do it. 3. Subnetting and PNML extension to represents subnets allow to apply several security technics that offers encryption, data integrity, authentication and non repudiation.