Travelled to:2 × USA
Collaborated with:F.Liu Z.Li T.Zhou L.Zhang J.Yin J.Cheng
Talks about:protocol (2) base (2) supremum (1) properti (1) electron (1) commerc (1) number (1) formal (1) analyz (1) secur (1)
Person: Mengjun Li
DBLP: Li:Mengjun
Contributed to:
20082006Wrote 2 papers:
- SEKE-2008-LiuLZL #logic #protocol #security
- Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic (FL, ZL, TZ, ML), pp. 795–801.
- 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.