Security Protocols and Threat Models: Privacy via The Applied π Calculus

Threat Intelligence and Cloud Trust Models for Healthcare Security

Application Security Essentials: Threat Models, Secrets, and Safe Code

Applied Calculus in Sociology and Demography: Models for Social Dynamics Population Processes

Application Security Essentials: Threat Models, Secrets, and Safe Code