Che-Fu Yu, Virgil D. Gligor. A formal specification and verification method for the prevention of denial of service. In Proceedings of the 1988 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 18-21, 1988. pages 187-202, IEEE Computer Society, 1988. [doi]
Abstract is missing.