Prophet: protocol analyzer