Return to Article Details FORMAL MODELS OF COMPUTER ATTACKS IN CORPORATE NETWORKS Download Download PDF