Poster: Specification and Verification of Confidentiality in Component-Based Systems Max E. Kramer, Anton Hergenr¨oder, Martin Hecker, Simon Greiner, Kaibin Bao Karlsruhe Institute of Technology, Germany {firstname.last

First Page		Document Content
Date: 2014-05-07 16:20:46		Poster: Specification and Verification of Confidentiality in Component-Based Systems Max E. Kramer, Anton Hergenr¨oder, Martin Hecker, Simon Greiner, Kaibin Bao Karlsruhe Institute of Technology, Germany {firstname.last Add to Reading List Source URL: www.ieee-security.org Download Document from Source Website File Size: 75,31 KB Share Document on Facebook