[Verifpal] Threats scenarios modelled, information in the tool help output

[Pittsburgh penguins Tv]

Dear Nadim,
would it be possible to add in the 'verifpal help' which threat scenarios
the tool takes into consideration, for the particular release? Is replay
attack modelled? and similar information.

Best regards
Anders N.


attacker [active]

principal Alice[
    knows private a
    ha = HASH(a)
]

Alice -> Bob: ha

principal Bob[
    knows private a
    _ = ASSERT(ha, HASH(a))
]

queries[
    confidentiality? a
    authentication? Alice -> Bob: ha
]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200411/16e56b48/attachment.htm>