A more accurate completion condition for attack-graph reconstruction in Probabilistic Packet Marking algorithm | IEEE Conference Publication | IEEE Xplore