个人基本情况介绍

龙士工：教授，博士，硕士生导师,中国计算机仿真学会理事，贵州省计算机学会常务理事，贵州省计算机学会副秘书长。主要研究方向：应用密码学、协议分析与模型检测 。1967年5月生，1990年毕业于湖南师范大学数学系，1998年毕业于贵州大学，获计算机硕士学位，2007年毕业于贵州大学，获密码学与信息安全方向的博士学位。近期发表论文30篇，EI收录15篇。获得贵州省第八届高等教育省级教学成果二等奖，获得贵州省科技进步三等奖一项。主持了1个国家级科研项目，2个省级科研项目。


研究领域与方向

计算机软件与理论（软件可靠性方法、安全协议分析）、信息安全（应用密码学）
科研课题（2010年以来主要承担的科研项目）

主持项目:

安全协议的行为时序逻辑验证与具有公平性约束的部分状态空间模型检测（**），2011年国家自然科学基金，2012.1-2015.12.


学术论著(2009年以来发表的论文、专著)



1.A Decomposition Strategy and Component-basedApproach to Specification and Verification of Safety Systems Using TLA, InternationalJournal of Advancements in Computing Technology(IJACT), Vol. 5, No. 9, pp. 36 ~44, 2013



[2] The safety and livenessproperties of the network protocol based on TLA, Information and CommunicationsTechnologies (IETICT 2013), IET International Conference ,pp.218~222, April27-29, 2013 Beijing, China.(EI收录号：**)



[3] Specifying ConcurrentProgram Based on TLA, 2013 5th International Conference on ComputerTechnology and Development-ICCTD 2013, Macau, China, November 2-3, 2013 ,AppliedMechanics and Materials,vols,490-491,pp798-802,2014.



[4]]基于TLA 的AFDX冗余管理算法的改进, 计算机工程与设计.2013,3,34(3):837-840.



[5]多智体系统时序认知规范的SPIN模型检测，计算机工程与科学.2011,12,33(12):12-16.



[62]基于门限的无可信中心的盲签名方案, 计算机应用研究.2010,7,27(7):2657-2660.



[7]基于可信度的App-DDos攻击的分布式流量控制模型, 微计算机信息，2009.3.9