Smart Service Engineering

In: Journal of Automated Reasoning (JAR) 61 1-4 Seiten 113-139 Springer Heidelberg 12/2017.

In: 2017 IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP-17) May 22-24 San Jose CA United States IEEE 2017.

In: Jasmin Christian Blanchette, Stephan Merz (Hrsg.). Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2016) 7th August 22-27 Nancy France Seiten 87-106 LNCS 9807 Springer 8/2016.

In: Heiko Mantel (Hrsg.). IT - information technology (IT) 6/2014 Seiten 294-299 De Gruyter Berlin 12/2014.

In: ANTONIO MUÑOZ, ERNESTO DAMIANI (Hrsg.). Third ASE International Conference on Cyber Security. International Workshop on Cloud Security (IWOCS-2014) befindet sich Third ASE International Conference on Cyber Security May 27-31 Stanford CA United States ASE Open Scientific Digital Library 6/2014.

In: F. Cuppens, N. Cuppens-Boulahia (Hrsg.). IFIP SEC 2014 International Information Security and Privacy Conference. IFIP International Information Security and Privacy Conference (SEC-2014) June 2-4 Marrakech Morocco Seiten 250-256 IFIP Advances in Information and Communication Technology Springer 2014.

In: First International Workshop on Graphical Models for Security. International Workshop on Graphical Models for Security (GramSec-2014) befindet sich European Joint Conferences on Theory and Practice of Software April 5-13 Grenoble France EPTCS 148 Electronic Proceedings in Theoretical Computer Science 2014.

In: Proceedings Open Identity Summit 2013. Open Identity Summit (OID-2013) September 9-11 Kloster Banz Germany Lecture Notes in Informatics (LNI) Springer 2013.