scientific article; zbMATH DE number 1799514

MaRDI QIDQ3146271zbMATHFDO

Authors Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei

Publication date 11 September 2002

zbMATH Keywords

system modelingnon-interference property of concurrent systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2064461
• Control and synthesis of non-interferent timed systems
• Synthesis of Non-Interferent Timed Systems
• Non-interference control synthesis for security timed automata
• Checking noninterference in timed CSP

Cited in

(11)

• Instruction-level security analysis for information flow in stack-based assembly languages
• Information flow for timed automata
• Timed non-interference under partial observability and bounded memory
• Checking noninterference in timed CSP
• Synthesis of Non-Interferent Timed Systems
• Non-interference control synthesis for security timed automata
• Formal Modeling and Analysis of Timed Systems
• Parametric Timed Model Checking for Guaranteeing Timed Opacity
• Automated verification of noninterference property
• Secure information release in timed automata
• scientific article; zbMATH DE number 2064461 (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 Q3146271)