A model-based approach to integrating security policies for embedded devices.

Michael McDougall, Rajeev Alur, Carl A. Gunter

Browse the full EMSOFT paper archive.