Heterogeneous Approaches to Secure Discrete-Event Systems