Matt Bishop: Vulnerability Analysis: An Extended Abstract. Recent Advances in Intrusion Detection 1999