Comparative analysis of related notions of opacity in centralized and coordinated architectures
From MaRDI portal
Publication:373013
DOI10.1007/s10626-012-0145-zzbMath1272.93084MaRDI QIDQ373013
Stéphane Lafortune, Yi-Chin Wu
Publication date: 21 October 2013
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-012-0145-z
coordinated architecture; current-state opacity; initial-and-final-state opacity; initial-state opacity; language-based opacity
90B18: Communication networks in operations research
93C65: Discrete event control/observation systems
Uses Software