Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel. A Framework for Composable Security Definition, Assurance, and Enforcement. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers. Volume 3844 of Lecture Notes in Computer Science, pages 353-354, Springer, 2005.
Abstract is missing.