Lejian Liao

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings Information Sciences	2012-11-15	Paper
Multi-agent secure communication protocol	2007-06-04	Paper
Polynomial algorithm of limited propositional deduction Science in China. Series E	2000-03-13	Paper
Minimal model semantics for sorted constraint representation Journal of Computer Science and Technology	1996-01-28	Paper

Research outcomes over time

This page was built for person: Lejian Liao