Steve Schneider

Citado por

	Total	Desde 2020
Citas	10600	1659
Índice h	43	20
Índice i10	116	34

620

310

155

465

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202535 37 41 55 59 68 90 104 130 211 208 270 438 379 534 520 489 601 528 475 436 471 424 434 369 415 271 298 288 295 320 334 365 304 41

Acceso público

Ver todo

25 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Helen TreharneProfessor, Surrey Centre for Cyber SecurityDirección de correo verificada de surrey.ac.uk
Peter RyanProfessor of applied security, university of luxembourgDirección de correo verificada de uni.lu
James HeatherSenior Lecturer in Computing, University of SurreyDirección de correo verificada de surrey.ac.uk
Jim DaviesUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Chris CulnaneUniversity of Melbourne (School of Computing and Information Systems)Dirección de correo verificada de unimelb.edu.au
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityDirección de correo verificada de anu.edu.au
Markus RoggenbachProfessor of Computer Science, Swansea UniversityDirección de correo verificada de swan.ac.uk
Liqun ChenProfessor, University of Surrey, UKDirección de correo verificada de surrey.ac.uk
Stephan WesemeyerUniversity of SurreyDirección de correo verificada de surrey.ac.uk
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
David BismarkVotatoDirección de correo verificada de krimmer.at
Heike WehrheimUniversity of OldenburgDirección de correo verificada de uni-oldenburg.de
Sriramkrishnan SrinivasanUniversity of Surrey

Seguir

Steve Schneider

Director of Computer Science Research Centre; Professor of Computing, University of Surrey

Dirección de correo verificada de surrey.ac.uk - Página principal

Security Privacy and Trust Electronic Voting Protocol modelling and verification Formal Methods.


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Concurrent and real-time systems: the CSP approach S Schneider John Wiley & Sons, 1999	862	1999
The modelling and analysis of security protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, B Roscoe Addison-Wesley Professional, 2001	820	2001
A practical voter-verifiable election scheme D Chaum, PYA Ryan, S Schneider Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005	537	2005
Verifying authentication protocols in CSP S Schneider IEEE Transactions on software engineering 24 (9), 741-758, 2002	434	2002
The B-method: An introduction S Schneider Palgrave, 2001	392	2001
Springer International Publishing: Cham L Chen, K Hosoda, E Menegatti, M Shimizu, H Wang Switzerland 11765, 337-345, 2019	384	2019
Security properties and CSP S Schneider Proceedings 1996 IEEE Symposium on Security and Privacy, 174-187, 1996	355	1996
Process algebra and non-interference PYA Ryan, SA Schneider Journal of Computer Security 9 (1-2), 75-103, 2001	325	2001
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	321	1996
PrÊt À Voter:a Voter-Verifiable Voting System PYA Ryan, D Bismark, J Heather, S Schneider, Z Xia IEEE transactions on information forensics and security 4 (4), 662-673, 2009	318*	2009
How to prevent type flaw attacks on security protocols J Heather, G Lowe, S Schneider Journal of computer Security 11 (2), 217-244, 2003	314	2003
CSP and anonymity S Schneider, A Sidiropoulos Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996	285	1996
An operational semantics for timed CSP S Schneider Information and computation 116 (2), 193-213, 1995	276	1995
A brief history of Timed CSP J Davies, S Schneider Theoretical Computer Science 138 (2), 243-271, 1995	258	1995
Formal analysis of a non-repudiation protocol S Schneider Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	200	1998
Prêt à voter with re-encryption mixes PYA Ryan, SA Schneider Computer Security–ESORICS 2006: 11th European Symposium on Research in …, 2006	197	2006
An attack on a recursive authentication protocol A cautionary tale PYA Ryan, SA Schneider Information Processing Letters 65 (1), 7-10, 1998	150	1998
CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005	132	2005
Timed CSP: Theory and practice S Schneider, J Davies, DM Jackson, GM Reed, JN Reed, AW Roscoe Proceedings of the Real-Time: Theory in Practice, REX Workshop, 640-675, 1991	130	1991
Integrating and extending JCSP AA McEwan, S Schneider, W Ifill, P Welch Communicating Process Architectures 2007: WoTUG-30: Proceedings of the 30th …, 2007	124	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores