A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

<table class="table-group" id="tab7"><tr><td><table class="table"><tr><td class="thead-hr" colspan="9"><hr/></td></tr><tr class="thead"><td class="align_left">Name</td><td class="align_center">IDH</td><td class="align_center">IDHS</td><td class="align_center">MADH</td><td class="align_center">MADHS</td><td class="align_center">INS</td><td class="align_center">INSL</td><td class="align_center">MANS</td><td class="align_center">MANSL</td></tr><tr><td class="thead-hr" colspan="9"><hr/></td></tr><tr><td class="align_left">Time</td><td class="align_center">0.916</td><td class="align_center">0.789</td><td class="align_center">1.567</td><td class="align_center">0.132</td><td class="align_center">0.037</td><td class="align_center">0.030</td><td class="align_center">0.100</td><td class="align_center">0.096</td></tr><tr class="table-tr"><td colspan="9"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

The time overhead of implementing protocols.

Security and Communication Networks

tab7

Table 7

Table 7: A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace 