search

DeepSec-prover / deepsec

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

Send remaining private names in frame and process #47

Closed VincentCheval closed 4 years ago

VincentCheval commented 4 years ago

They should be send every time an update on a process is requested. See DeepSec-prover/deepsec_ui#64 for their usage.