AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Peter Ryan

Peter Ryan

Université du Luxembourg - Esch-sur-Alzette / Luxembourg
Engineering & Technology / Computer Science
AD Scientific Index ID: 1853920
University of Luxembourg Universität Luxemburg
person_outline Peter Ryan's MOST POPULAR ARTICLES
1-) The modelling and analysis of security protocols: the CSP approach Addison-Wesley Professional, 2001
2-) A practical voter-verifiable election scheme European Symposium on Research in Computer Security, 118-139, 2005
3-) Opacity generalised to transition systems International Journal of Information Security 7 (6), 421-435, 2008
4-) Process algebra and non-interference Journal of Computer Security 9 (1-2), 75-103, 2001
5-) PrÊt À Voter:a Voter-Verifiable Voting System IEEE transactions on information forensics and security 4 (4), 662-673, 2009