A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System