scientific article; zbMATH DE number 1799514

zbMATH Open1003.68100MaRDI QIDQ3146271FDOQ3146271

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

Publication date: 11 September 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Automated verification of noninterference property
• Title not available (Why is that?)
• Secure information release in timed automata
• Checking noninterference in timed CSP
• Formal Modeling and Analysis of Timed Systems
• Non-interference control synthesis for security timed automata
• Instruction-level security analysis for information flow in stack-based assembly languages
• Parametric Timed Model Checking for Guaranteeing Timed Opacity
• Synthesis of Non-Interferent Timed Systems
• Information flow for timed automata

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)