Modal title
×
...
RGSE
Home
Forschung
Lehre
Personen
Prof. Dr. Jan Jürjens
Forschung - Übersicht
Forschung - Motivation
Forschung - Resultate
Forschung - Impakt
UMLsec
Tools
Projekte
TITAN
EnTrust
VisiOn
SecSpec
SecSIoT
PNASSE
SecVolution
ClouDAT
SECONOMICS
APEX
UMLsecRisk
Secure Clouds
MoDelSec
Secure Change
VeriSec
Csec
MFSAoC-PI
(aktuell)
MFSAoC-PI
(aktuell)
S&P-4-all
T-REQS
DILoTra
DataPorts
IIP-Ecosphere
XAPS
Veröffentlichungen (JJ)
Forschungsmöglichkeiten
Paper Reading Group
Kontakt
Impressum
This page in English
Nebeninhalt
Ansprechpartner
Prof. Dr. Jan Jürjens
Modelbased Formal Security Analysis of Crypto-Protocol Implementations
Diese Seite ist nur in
Englisch
verfügbar.