Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels. - Hans Löhr; Ahmad-Reza Sadeghi; Christian Stüble; Marion Weber; Marcel Winandy (TRUST, 2009)