A framework for opacity in linear systems