Secure information release in timed automata

DOI10.1007/978-3-319-89722-6_2zbMath1427.68038OpenAlexW2799169671WikidataQ59416285 ScholiaQ59416285MaRDI QIDQ2324192

Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89722-6_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computer security (68M25)

Related Items

Timed hyperproperties ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity

This page was built for publication: Secure information release in timed automata