Indeed. See "Canceling Disputes": https://www.cambridge.org/core/services/aop-cambridge-core/c....
Here are some non-Wiki links:
Gnutella: https://computer.howstuffworks.com/file-sharing.htm
Segment routing: https://www.segment-routing.net/
BAN Logic: https://www.cdk5.net/security/Ed2/BANLogic.pdf
and ProVerif: https://bblanche.gitlabpages.inria.fr/proverif/
Indeed. See "Canceling Disputes": https://www.cambridge.org/core/services/aop-cambridge-core/c....
Here are some non-Wiki links:
Gnutella: https://computer.howstuffworks.com/file-sharing.htm
Segment routing: https://www.segment-routing.net/
BAN Logic: https://www.cdk5.net/security/Ed2/BANLogic.pdf
and ProVerif: https://bblanche.gitlabpages.inria.fr/proverif/