Jan Jürjens

From MaRDI portal
Person:186070

Available identifiers

zbMath Open jurjens.janMaRDI QIDQ186070

List of research outcomes





PublicationDate of PublicationType
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models2015-05-27Paper
Algebraic state machines: concepts and applications to security2010-01-05Paper
Finite Models in FOL-Based Crypto-Protocol Verification2009-10-22Paper
A domain-specific language for cryptographic protocols based on streams2009-02-19Paper
https://portal.mardi4nfdi.de/entity/Q57144352006-01-02Paper
https://portal.mardi4nfdi.de/entity/Q30438382004-08-06Paper
Secure Systems Development with UML2004-01-13Paper
https://portal.mardi4nfdi.de/entity/Q44125342003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44115472003-07-09Paper
https://portal.mardi4nfdi.de/entity/Q44115482003-07-09Paper
https://portal.mardi4nfdi.de/entity/Q44110742003-07-07Paper
Games in the semantics of programming languages -- an elementary introduction2003-04-27Paper
https://portal.mardi4nfdi.de/entity/Q45366162002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q43305262002-05-13Paper
On a problem of Gabriel and Ulmer2002-04-21Paper
https://portal.mardi4nfdi.de/entity/Q27641402002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q27641182002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q47903432002-01-01Paper

Research outcomes over time

This page was built for person: Jan Jürjens

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:186070&oldid=6453066"
Powered by MediaWiki