session equivalence for determinate processes

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Closed irakoton closed 4 years ago

irakoton commented 4 years ago

There is an inconsistency between the claims of the manual and the implementation :

manual => when the process is determinate, the same algorithm is used for trace equivalence and session equivalence
implementation => never makes a difference when the process is determinate or not when verifying session equivalence

VincentCheval commented 4 years ago

Fix in 2.0.1 : 74dce0a