| Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach Recent countries visiting this post |  |
 | 5 | United States |
 | 3 |
| Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach Recent countries visiting this post | |
| 5 | United States |
| 3 |