Michael McDougall, Rajeev Alur, Carl A. Gunter. A model-based approach to integrating security policies for embedded devices. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 211-219, ACM, 2004. [doi]
Abstract is missing.