Peter Ryan教授是盧森堡大學(xué)教授，盧森堡大學(xué)信息安全中心負(fù)責(zé)人，安全工程領(lǐng)域著名專家。研究方向主要包括了安全應(yīng)用工程，密碼學(xué)，信息保障，形式化驗(yàn)證以及安全投票機(jī)制與系統(tǒng)等。他開(kāi)創(chuàng)了流程代數(shù)在安全系統(tǒng)建模和分析中的應(yīng)用，在1989年的計(jì)算機(jī)安全基礎(chǔ)研討會(huì)上介紹了非干擾的第一個(gè)過(guò)程代數(shù)（CSP）方法。
1290
1
0
2016-09-09 09:22:59
2017-09-18
