The ASW protocol revisited: a unified view

MaRDI QIDQ2848042zbMATH OpenFDO

Authors Paul Hankes Drielsma, Sebastian Mödersheim

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000794

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Compositional analysis of contract-signing protocols
• Formal analysis of multiparty contract signing
• Finite-state analysis of two contract signing protocols
• Mechanical proofs about BW multi-party contract signing protocol
• Computationally Sound Analysis of a Probabilistic Contract Signing Protocol

Cited in

(1)

• LTL model checking for security protocols

This page was built for publication: The ASW protocol revisited: a unified view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848042)