Skip to content

Add Security tests + Improve UI + fix a bug in AD

Jawher Jerray requested to merge avatar_security_tests into master
  • Add new form of security test for Diplodocus and Avatar models. These new tests also check the weak authenticity, which was not the case for the previous tests.
  • Fix a bug in ProVerifOutputAnalyzer that sometimes fails to parse ProVerif security results.
  • When a component is renamed: Update automatically all the occurrences of the component in all the design panels.
  • Select by default the choosing element in JComboBoxes.
  • When a channel is an attacker, fix a bug in the provided list of channels then creating a write channel operator (or a read channel operator).
Edited by Jawher Jerray

Merge request reports