Yu, Cheng Gligor, Virgil D. <br/><br/>
A Specification and V Erification Method  for  Preventing Denial of Serviec 

 - 581-592 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Denial-Of-Services Attack<br/>Safety<br/>Security