Detecting anomalies in DNS protocol traces via Passive Testing and Process Mining | IEEE Conference Publication | IEEE Xplore