Examples from "Modeling and Analyzing ..." book?

[William Harrison]

Hi-

     I have a stupid question but, luckily, I'm just the man to ask it. I'm reading through the draft of the forthcoming Tamarin book "Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide". There are a number of references to examples in the book that suggest that all the examples are available somewhere. E.g., "...available in input files Minimal_branch.spthy and Minimal_branch_alt.spthy" and the like. But I can't find these examples anywhere -- can you give me a pointer to them? They don't seem to be in any of the tamarin-prover GitHub repos.

Thanks in Advance,

Bill

[Cas Cremers]

Hi Bill,

Sorry, this is a good point. We will make these available on the book's webpage asap. 

(I was hoping to rework the website in recent weeks, and this would be part of it, but I didn't get round to it yet. Probably we'll put them on there next week in the current website layout.)

Best,

Cas

--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tamarin-prover/2fd6aa2f-872d-4366-a81b-3f271f1932f1n%40googlegroups.com.

[Cas Cremers]

Hi Bill and all,

I've just made these available now on the book webpage: https://tamarin-prover.com/book/

Let me know if this works for you.

Best,

Cas