Model checking the DNS under DNS cache-poisoning attacks using SPIN
-
Published:2016
Issue:1
Volume:42S
Page:49
-
ISSN:1513-1874
-
Container-title:ScienceAsia
-
language:en
-
Short-container-title:ScienceAsia
Author:
Zhang Wei,Yang Meihong,Zhang Xinchang,Shi Huiling
Publisher
Science Society of Thailand
Subject
Multidisciplinary