Modeling Ad-hoc rushing attack in a negligibility-based security framework