近日，科技部公布了2012年《创新人才推进计划》入选对象，我区第一批八桂学者、广西师范大学李先贤教授成功入�。庖彩悄壳拔仪┮灰晃蝗胙「眉苹娜瞬�。
李先贤在从事计算机软件与信息安全方面研究工作中，提出具有原创性的密码协议代数模型和理论，以及密码协议安全性分析算法，研制高效协议安全性分析系统（ACT-SPA）,发现未见公开的安全漏洞；将软件行为的正确性约束贯彻于构造过程；基于代数和形式化理论提出软件操作模型，为面向需求的服务软件开发提供了更广泛的理论指导意义和实践应用价值。这些研究结果和系统已应用于国家重要工程，取得显著效益。他也曾获得国家科技进步二等奖2项，获国防科技一等奖1项。 （记者/陈江 通讯员/黎霞）
（责任编辑：王姣雁）
