Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Mengjun
Last name:	Li
DBLP:	74/56
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 11 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	Shikun Chen, Zhoujun Li, Mengjun Li. Constructing Program Invariants via Solving QBF.	TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China 2009	(0)	2009
	Ti Zhou, Mengjun Li, Zhoujun Li. Local abstract verification and refinement of security protocols.	Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008 2008	(0)	2008
	Mengjun Li, Ti Zhou, Zhoujun Li. SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.	Information Security and Cryptology, 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers 2009	(0)	2008
	Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li. Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.	Proceedings of the Twentieth International Conference on Software Engineering Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008 2008	(0)	2008
	Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen. Constraint Abstraction in Verification of Security Protocols.	Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings 2008	(0)	2008
	Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen. Modeling and Verifying Time Sensitive Security Protocols with Constraints.	Electr. Notes Theor. Comput. Sci. 2008, Volume 212	(0)	2008
	Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou. A Novel Derivation Framework For Definite Logic Program.	Electr. Notes Theor. Comput. Sci. 2008, Volume 212	(0)	2008
	Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen. An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings 2007	(0)	2007
	Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen. Constraints Solution for Time Sensitive Security Protocols.	Frontiers in Algorithmics, First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings 2007	(0)	2007
	Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng. A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization.	Proceedings of the Eighteenth International Conference on Software Engineering Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006 2006	(0)	2006
	Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi. An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework.	Journal of Computer Research and Development 2006, Volume 43	(0)	2006

Your query returned 11 matches in the database.