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

Michael McDougall Rajeev Alur Carl A. Gunter A model-based approach to integrating security policies for embedded devices. 211-219 2004 conf/emsoft/2004 EMSOFT http://doi.acm.org/10.1145/1017753.1017789 db/conf/emsoft/emsoft2004.html#McDougallAG04