scientific article; zbMATH DE number 3858426

MaRDI QIDQ3326850zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

coloured Petri netcomputer securitydata flowsfilesprocessessecurity policy

Mathematics Subject Classification ID

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

Recommendations

• Component-Based Security Policy Design with Colored Petri Nets
• scientific article; zbMATH DE number 4028914
• scientific article; zbMATH DE number 1049168
• scientific article; zbMATH DE number 1104015
• scientific article; zbMATH DE number 46002

Cited in

(6)

• Simulation of destabilizing factors influence on distributed information systems by Petri nets
• Secure interoperation design in multi-domains environments based on colored Petri nets
• Component-Based Security Policy Design with Colored Petri Nets
• Modeling Distributed Private Key Generation by Composing Petri Nets
• scientific article; zbMATH DE number 1104015 (Why is no real title available?)
• scientific article; zbMATH DE number 1983182 (Why is no real title available?)

This page was built for publication:

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