Changing semantics in session

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Changing semantics in session #31

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

Even when the user defines semantics Eavesdrop or Classic, changes the semantics to Private for a query of session equivalence / inclusion and put a warning.