DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols
GNU General Public License v3.0
17 stars 2 forks source link

Add the possibility to select different semantics per query. #41

Open VincentCheval opened 4 years ago

VincentCheval commented 4 years ago

It would be interesting to add the choice of semantics for each queries. Example:

query trace_equiv(A,B) [semantics=private].