scientific article; zbMATH DE number 1799514

MaRDI QIDQ3146271zbMATH OpenFDO

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

Publication date 11 September 2002

zbMATH Keywords

non-interference property of concurrent systemssystem modeling

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

(12)

• Checking noninterference in timed CSP
• Automated verification of noninterference property
• Secure information release in timed automata
• Instruction-level security analysis for information flow in stack-based assembly languages
• Non-interference control synthesis for security timed automata
• Parametric Timed Model Checking for Guaranteeing Timed Opacity
• Synthesis of Non-Interferent Timed Systems
• scientific article; zbMATH DE number 2064461 (Why is no real title available?)
• Information flow for timed automata
• Formal Modeling and Analysis of Timed Systems
• Timed non-interference under partial observability and bounded memory
• The bright side of timed opacity

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)