Securing network software applications: introduction. - Imran Bashir; Enrico Serafini; Kevin Wall (Commun. ACM, 2001)