how to write oracle

[yongsheng yee]

I have questiones about how to write oracle to guide my security properties proving.Is there a manual about how to write oracle?Thank you very much.

[Jannik Dreier]

Hi,

Please have a look at the manual:

https://tamarin-prover.github.io/manual/book/010_advanced-features.html

Sections "Heuristics" and "Using an Oracle".

Best regards,
Jannik

> --
> 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
> <mailto:tamarin-prove...@googlegroups.com>.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/tamarin-prover/fc5726ae-779d-45b4-994b-c3985584966an%40googlegroups.com
> <https://groups.google.com/d/msgid/tamarin-prover/fc5726ae-779d-45b4-994b-c3985584966an%40googlegroups.com?utm_medium=email&utm_source=footer>.

--
Jannik Dreier
Maître de Conférences | Associate Professor
Université de Lorraine | TELECOM Nancy | LORIA
rese...@jannikdreier.net | +33 3 54 95 84 46