TY  - SER
AU  - Yu, Cheng
AU  - Gligor, Virgil D.
TI  - A Specification and V Erification Method  for  Preventing Denial of Serviec
KW  - Denial-Of-Services Attack
KW  - Safety
KW  - Security
ER  -