The following pages link to Jan Jürjens (Q186070):
Displayed 18 items.
- A domain-specific language for cryptographic protocols based on streams (Q1001891) (← links)
- Games in the semantics of programming languages -- an elementary introduction (Q1868163) (← links)
- (Q2764118) (← links)
- (Q2764140) (← links)
- (Q3043838) (← links)
- Finite Models in FOL-Based Crypto-Protocol Verification (Q3184717) (← links)
- (Q4330526) (← links)
- (Q4411074) (← links)
- (Q4411547) (← links)
- (Q4411548) (← links)
- (Q4412534) (← links)
- Secure Systems Development with UML (Q4443488) (← links)
- (Q4536616) (← links)
- (Q4790343) (← links)
- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models (Q5253586) (← links)
- (Q5714435) (← links)
- Perspectives of System Informatics (Q5902421) (← links)
- On a problem of Gabriel and Ulmer (Q5936006) (← links)