Steve Schneider

Steve Schneider

University of Surrey - Guildford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056452
person_outline Steve Schneider's MOST POPULAR ARTICLES
1-) Concurrent and real-time systems: the CSP approachS SchneiderJohn Wiley & Sons, 19998241999
2-) The modelling and analysis of security protocols: the CSP approachP Ryan, S Schneider, M Goldsmith, G Lowe, B RoscoeAddison-Wesley Professional, 20017832001
3-) A practical voter-verifiable election schemeD Chaum, PYA Ryan, S SchneiderComputer Security–ESORICS 2005: 10th European Symposium on Research in …, 20055202005
4-) Verifying authentication protocols in CSPS SchneiderIEEE Transactions on software engineering 24 (9), 741-758, 19984331998
5-) The B-method: An introductionS SchneiderPalgrave, 20013872001