Selected Examples and Case Studies
A Specification of TCP 3-way handshake protocol with DOS-resistance can be obtained here. The following is a series of commands to get a sample execution:./maude.linux -random-seed=453
load pmaude
load tcpsyn
rew init .