林惠民 黄河燕 冯登国 陈肇雄 刘吉强 沈海峰 林东岱 石昊苏

判定过程 可忽略函数 扩展串空间 丛最大结点 良序丛 计算复杂性 JFK 代理多签名

安徽合肥 中国科学技术大学计算机科学系 北京交通大学计算机与信息技术系 中国科学院软件研究所计算机科学实验室 中国科学院软件所信息安全国家重点实验室 安徽合肥230026中国科学院计算机语言... 中国科学院软件研究所信息安全国家重点实验... 中国科学院软件研究所计算机科学开放研究实...