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.

@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.


@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

· · Web · 0 · 0 · 1
Sign in to participate in the conversation

The original server operated by the Mastodon gGmbH non-profit