Maguire, Nathan (2025) Opacity and Security Concepts for Discrete Event Systems, Linear Time-invariant Systems, and Max-Plus Linear Systems. Masters thesis, National University of Ireland Maynooth.