Locating Malicious Links in Fully-Connected Networks Using a Formal Framework | IEEE Conference Publication | IEEE Xplore