International Scholarly Research Notices

Research Article

On Formal and Automatic Security Verification of WSN Transport Protocols

Figure 1

The difference between the real and ideal version of the DTSN and the SDTP protocols.
891467.fig.001a
(a)
891467.fig.001b
(b)