This white paper describes analytical techniques using model-based engineering (MBE) tools to model and validate security according to flow-based approaches and to represent standard security proto...