"Formal and Intelligent Methods  for Security and Resilience:  Education and Training Issues." Information & Security: An International Journal 35, no. 2 (2016): 133-150.