中国科学院信息工程研究所

Publications(Top 5)

  1. 一类单圈T函数的判定 刘卓军,戴照鹏,吴保峰 系统科学与数学 2010 , 30(11)
    Abstract 
  2. 基于椭圆曲线的代理多签名方案的安全性分析 曹天杰,林东岱,薛锐 小型微型计算机系统 2006 , 27(5)
    Abstract 
  3. 安全协议的形式化分析技术与方法 薛锐,冯登国 计算机学报 2006 , 29(1)
    Abstract 
  4. 串空间理论扩展 沈海峰,薛锐,黄河燕,陈肇雄 软件学报 2005 , 16(10)
    Abstract 
  5. 面向传值进程的一阶模态逻辑的可判定性与模型检测 薛锐,林惠民 中国科学E辑 2003 , 33(2)
    Abstract 
View All

Scholars

View All