Virgil D. Gligor;Matt Blaze;John Ioannidis
-;-;-
A Specification and Verification Method for Preventing Denial of Service
IEEE Transactions on Software Engineering
On Denial-of-Service in Computer Networks
Proceedings of the Second International Conference on Data Engineering