internal error [display_ui.ml >> get_name_id]

[steve-kremer]

Using the attack simulator in the GUI causes the following internal error on the file below.

Internal error
Please report this error.
Message: [display_ui.ml >> get_name_id] Cannot find the name nr_88

The attack trace is

out(c,ax1);​out(c,ax2);​in(c,getChallenge);​out(c,ax3);​in(c,getChallenge);​out(c,ax4);​in(c,(#n1,#n0));​out(c,ax5);​in(c,getChallenge);​out(c,ax6);​in(c,ax6);​out(c,ax7);​in(c,(Π1,2(ax7),Π2,2(ax7)));​out(c,ax8)

Using the attack simulator, the error is triggered by selecting the following actions:

• !^2 (line 4);
• out(c,getChallenge) (line 2);
• !^2 (line 17);
• out(c,getChallenge); (line 9)
• in(c,x22); (line 16)
• out(c,nt2); (line 19)

Version information:

DeepSec Version: 2.0.1
OCaml Version: 4.07.0
Git Branch: master
Git Hash: ccf6ba8

BAC.txt

[VincentCheval]

I can't reproduce your bug. Typically I don't find the attack trace you mentioned. It's probably due to the fact that there is several attack trace possible and with the distributed computation, the selected attack is not necessarily always the same. I tried also when preventing distribution but it's not the same attack trace. Could you try again to reproduce your bug ?