没有找到引用Formal modelling and automatic detection of resource exhaustion attacks的文章。