Matches in UGent Biblio for { <https://biblio.ugent.be/publication/3111272#aggregation> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- aggregation classification "A1".
- aggregation creator person.
- aggregation creator person.
- aggregation creator person.
- aggregation date "2013".
- aggregation format "application/pdf".
- aggregation hasFormat 3111272.bibtex.
- aggregation hasFormat 3111272.csv.
- aggregation hasFormat 3111272.dc.
- aggregation hasFormat 3111272.didl.
- aggregation hasFormat 3111272.doc.
- aggregation hasFormat 3111272.json.
- aggregation hasFormat 3111272.mets.
- aggregation hasFormat 3111272.mods.
- aggregation hasFormat 3111272.rdf.
- aggregation hasFormat 3111272.ris.
- aggregation hasFormat 3111272.txt.
- aggregation hasFormat 3111272.xls.
- aggregation hasFormat 3111272.yaml.
- aggregation isPartOf urn:issn:0013-5194.
- aggregation language "eng".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Technology and Engineering".
- aggregation title "Proving correctness of regular expression matchers with constrained repetition".
- aggregation abstract "It is known that an often used implementation method for regular expressions that uses a combination of counters and nondeterministic finite automatons is incorrect for certain regular expressions. Determining which expressions can be correctly implemented with this method has proven nontrivial and has previously been done without proof. Presented is the first automatic method to prove the correctness of the implementation method for specific expressions and to detect which expressions should be implemented differently. The use (in previous work) of this implementation method in network intrusion detection systems without proof of correctness for every regular expression constitutes a security risk to the network it is supposed to protect. Presented is a solution for this issue.".
- aggregation authorList BK774252.
- aggregation endPage "42".
- aggregation issue "1".
- aggregation startPage "41".
- aggregation volume "49".
- aggregation aggregates 3111321.
- aggregation isDescribedBy 3111272.
- aggregation similarTo el.2012.2208.
- aggregation similarTo LU-3111272.