Travelled to:
1 × USA
Collaborated with:
L.Zhang J.Yin M.Li
Talks about:
protocol (1) properti (1) electron (1) commerc (1) formal (1) novel (1) game (1) fair (1) base (1)
Person: Jieren Cheng
DBLP: Cheng:Jieren
Contributed to:
Wrote 1 papers:
- SEKE-2006-ZhangYLC #formal method #game studies #novel #protocol
- A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization (LZ, JY, ML, JC), pp. 410–415.