Automatic generation of buffer overflow attack signatures: an approach based on program behavior models | IEEE Conference Publication | IEEE Xplore