A Model-Based Approach to Integrating Security Policies for Embedded Devices

A Model-Based Approach to Integrating Security Policies for Embedded Devices
Michael McDougall, Rajeev Alur and Carl A. Gunter
ACM International Conference on Embedded Software (EMSOFT ’04), Pisa, Italy, September 2004.

Last updated on Thursday, June 26, 2014, 12:49 pm

Design and Analysis of Sectrace: A Protocol to Set up Security Associations and Policies in IPSec Networks

Design and Analysis of Sectrace: A Protocol to Set up Security Associations and Policies in IPSec Networks,
Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Mark-Oliver Stehr.
Technical Report, September, 2004.

Last updated on Monday, July 25, 2011, 4:30 pm