OSV: OSPF vulnerability checking tool. - Poonyavee Kasemsuwan; Vasaka Visoottiviseth (JCSSE, 2017)