View of FORMAL VERIFICATION OF INTRUSION DETECTION SYSTEMS: A COMPUTATIONAL THEORY APPROACH

Return to Article Details FORMAL VERIFICATION OF INTRUSION DETECTION SYSTEMS: A COMPUTATIONAL THEORY APPROACH Download Download PDF