{"_id":"RGSBXgCQ9CMrTaTWH","bibbaseid":"groza-minea-formalmodellingandautomaticdetectionofresourceexhaustionattacks-2011","author_short":["Groza, B.","Minea, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal modelling and automatic detection of resource exhaustion attacks","doi":"10/d7k5kc","booktitle":"Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security","author":[{"propositions":[],"lastnames":["Groza"],"firstnames":["Bogdan"],"suffixes":[]},{"propositions":[],"lastnames":["Minea"],"firstnames":["Marius"],"suffixes":[]}],"year":"2011","pages":"326–333","bibtex":"@inproceedings{groza_formal_2011,\n\ttitle = {Formal modelling and automatic detection of resource exhaustion attacks},\n\tdoi = {10/d7k5kc},\n\tbooktitle = {Proceedings of the 6th {ACM} {Symposium} on {Information}, {Computer} and {Communications} {Security}},\n\tauthor = {Groza, Bogdan and Minea, Marius},\n\tyear = {2011},\n\tpages = {326--333},\n}\n\n","author_short":["Groza, B.","Minea, M."],"key":"groza_formal_2011","id":"groza_formal_2011","bibbaseid":"groza-minea-formalmodellingandautomaticdetectionofresourceexhaustionattacks-2011","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","modelling","automatic","detection","resource","exhaustion","attacks","groza","minea"],"title":"Formal modelling and automatic detection of resource exhaustion attacks","year":2011}