![](https://www.pdfsearch.io/img/9e4c0f035867b75b3f708974f234eb1d.jpg) 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.lastAdd to Reading ListSource URL: www.ieee-security.orgDownload Document from Source Website File Size: 75,31 KBShare Document on Facebook
|