Protocol Validation

[Kannan Ramanathan]

I have traces of a protocol (say a point-2-point data/control protocol) stored in files. I am thinking of writing a protocol validator, checking for the syntactic correctness as well as the semantic correctness (the correct flow as specified in the Spec). The checking rules are put in a separate file & the inference engine loads these rules and checks for the validity of the data (from the trace files). [rules file] + [trace file] ---(Inference engine)----> result This also has to be lean & fast. I am now doing a proto based on some ideas I have on how this can be done... but, I'd appreciate any ideas from you people on how this can be efficiently done (or how this is actually done :)). Thx