scientific article; zbMATH DE number 3858426

MaRDI QIDQ3326850zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

filesprocessescomputer securitysecurity policydata flowscoloured Petri net

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

(5)

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

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)