✦ LIBER ✦

Attacking Fair-Exchange Protocols: Parallel Models vs. Trace Models

✍ Scribed by Luigia Carlucci Aiello; Fabio Massacci

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal model of fair exchange protocol

✍ Sihan Qing; Gaicheng Li 📂 Article 📅 2005 🏛 Science in China Press (SCP) 🌐 English ⚖ 173 KB

Modeling key compromise impersonation at

✍ Gorantla, M. C.; Boyd, Colin; Nieto, Juan Manuel González; Manulis, Mark 📂 Article 📅 2011 🏛 Association for Computing Machinery 🌐 English ⚖ 504 KB

Security model and modular design of fai

✍ DengGuo Feng; WeiDong Chen 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 196 KB