Research Article
A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace
Table 3
Similarity between protocols.
| | | INS | MANS | INSL | MANSL |
| | INS | 1 | 2.27 × 10−3 | 9.71 × 10−3 | 2.41 × 10−3 | | MANS | 2.27 × 10−3 | 1 | 2.27 × 10−3 | 6.54 × 10−3 | | INSL | 9.71 × 10−3 | 2.27 × 10−3 | 1 | 2.43 × 10−3 | | MANSL | 2.41 × 10−3 | 6.54 × 10−3 | 2.43 × 10−3 | 1 |
|
|
