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

<div>The change of similarity and <svg height="11.439pt" id="M354" style="vertical-align:-2.15067pt" version="1.1" viewbox="-0.0498162 -9.28833 23.6396 11.439" width="23.6396pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M162 -163V703H101V-163H162Z" id="g113-9"></path></g><g transform="matrix(.013,0,0,-0.013,3.419,0)"><path d="M600 0V24L339 665L311 657L43 24V0H600ZM497 50H107L303 539L497 50Z" id="g113-133"></path></g><g transform="matrix(.013,0,0,-0.013,11.746,0)"><path d="M620 675H597C578 656 570 650 541 650H144C112 650 104 653 94 675H72C59 618 42 552 23 493L53 491C71 534 88 564 105 585C124 608 144 615 238 615H290L197 121C182 40 174 34 88 28L82 0H361L367 28C275 34 266 38 281 121L374 615H441C522 615 543 608 553 583C562 560 566 531 565 493L597 494C603 551 612 629 620 675Z" id="g113-85"></path></g><g transform="matrix(.013,0,0,-0.013,20.031,0)"><path d="M162 -163V703H101V-163H162Z" id="g113-9"></path></g></svg> of the time overhead.</div>

Security and Communication Networks

fig6

Figure 6

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