%0 Journal Article
%K artificial intelligence
%K B-method
%K computer networks
%K Formal methods
%K resilience
%K resilient system
%K secure protocol
%K security
%K software development
%B Information & Security: An International Journal
%D 2016
%G eng
%N 2
%P 133-150
%R 10.11610/isij.3507
%T Formal and Intelligent Methods  for Security and Resilience:  Education and Training Issues
%V 35
%8 2016
%& 133