edefSep 15, 2017
dear formal methods folk, is there a convenient tool for modelling agent-knowledge in (cryptographic) protocols that I should know of?
I've been playing around in Prolog a little (see image), but I'm sort of drawing a blank on how I'd properly model this. https://mastodon.social/media/5xooGPOV-Cm__VHC0kI
Show threadJamey SharpSep 15, 2017
@edef I don't know the answer, I just want to say that this is a really cool question and I would love to hear how your experiments go.
Show threadedef
@jamey Proverif is super easy to learn and I'm having a lot of fun already, and I might look into Cryptoverif and Tamarin later for fun
Sep 15, 2017 at 6:44pmWeb