2012年发表的文章被专著Real-world electronic voting: Design, Analysis and Deployment引用
来源: 刘忆宁/
无业
1122
1
0
2017-09-18

Peter Ryan教授是卢森堡大学教授,卢森堡大学信息安全中心负责人,安全工程领域著名专家。研究方向主要包括了安全应用工程,密码学,信息保障,形式化验证以及安全投票机制与系统等。他开创了流程代数在安全系统建模和分析中的应用,在1989年的计算机安全基础研讨会上介绍了非干扰的第一个过程代数(CSP)方法。

 


登录用户可以查看和发表评论, 请前往  登录 或  注册
SCHOLAT.com 学者网
免责声明 | 关于我们 | 联系我们
联系我们: