There's something called the "NRL Protocol Analyzer" that seems to have a lot of math behind it. A 12 page mini-tutorial PDF describing it, what it does, how it works, is here. (The PPT version is here.)
It's from the mid-'90s. There are undoubtedly more powerful tools now, but sometimes it helps to take a step back.
(This stuff is outside my area. I just thought I'd mention it in case you haven't seen it.)
HTH a little. Good luck!
Cheers,
Scott.
It's from the mid-'90s. There are undoubtedly more powerful tools now, but sometimes it helps to take a step back.
(This stuff is outside my area. I just thought I'd mention it in case you haven't seen it.)
HTH a little. Good luck!
Cheers,
Scott.