Process expression of security automaton

MaRDI QIDQ2654777zbMATH OpenFDO

Authors Wantao Yu, Guangrui Hu

Publication date 21 January 2010

Published in Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

zbMATH Keywords

exception termination processextended \(\pi\)-calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
• A model checking-based approach for security policy verification of mobile systems
• Formal enforcement of security policies on concurrent systems
• scientific article; zbMATH DE number 1863161
• scientific article; zbMATH DE number 2043318

This page was built for publication: Process expression of security automaton

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