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

Pittsburgh penguins Tv anderswnilson at gmail.com
Sat Apr 11 09:08:12 CEST 2020


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>


More information about the Verifpal mailing list