郑燕飞 李晖 朱博 洪璇 白英彩 来学嘉 陈力琼 吴卓

形式化方法 离线交易 无线应用协议 公角密码体制 中文平台 安全性分析 鲁棒性 串空间

上海交通大学计算机系 现代通信国家实验室成都 长沙交通学院计算机工程系 上海交通大学信息安全工程学院 上海交通大学计算机科学与工程系 中国科学院研究生院信息安全国家重点实验室 上海200030长沙交通学院计算机工程系... 上海200030南京大学计算机软件新技术...