BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Li:Mengjun

Contributed to:

SEKE 20082008
SEKE 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.