Statistics for A structured approach to network security protocol implementation