Steve Schneider

Citée par

	Toutes	Depuis 2016
Citations	8251	1351
indice h	37	20
indice i10	96	35

540

270

135

405

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202134 41 54 43 60 50 68 81 102 191 198 232 405 342 490 485 426 535 481 446 404 402 374 389 352 377 248 243 235 221 27

Coauteurs

Helen TreharneProfessor, Department of Computer Science, University of SurreyAdresse e-mail validée de surrey.ac.uk
Peter RyanProfessor of applied security, university of luxembourgAdresse e-mail validée de uni.lu
James HeatherSenior Lecturer in Computing, University of SurreyAdresse e-mail validée de surrey.ac.uk
Chris CulnaneUniversity of Melbourne (School of Computing and Information Systems)Adresse e-mail validée de unimelb.edu.au
Jim DaviesUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityAdresse e-mail validée de anu.edu.au
Markus RoggenbachProfessor of Computer Science, Swansea UniversityAdresse e-mail validée de swan.ac.uk
David BismarkVotatoAdresse e-mail validée de krimmer.at
Liqun ChenProfessor, University of Surrey, UKAdresse e-mail validée de surrey.ac.uk
Heike WehrheimPaderborn UniversityAdresse e-mail validée de upb.de
Stephan WesemeyerUniversity of SurreyAdresse e-mail validée de surrey.ac.uk
Sriramkrishnan SrinivasanUniversity of Surrey

Steve Schneider

Director of Surrey Centre for Cyber Security; Professor of Computing, University of Surrey

Adresse e-mail validée de surrey.ac.uk - Page d'accueil

Security Privacy and Trust Electronic Voting Rail Formal Methods.


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Concurrent and Real-time systems S Schneider The CSP Approach, 2000	795	2000
The modelling and analysis of security protocols: the CSP approach P Ryan, S Schneider, M Goldsmith, G Lowe, B Roscoe Addison-Wesley Professional, 2001	739	2001
A practical voter-verifiable election scheme D Chaum, PYA Ryan, S Schneider European Symposium on Research in Computer Security, 118-139, 2005	464	2005
Verifying authentication protocols in CSP S Schneider IEEE Transactions on software engineering 24 (9), 741-758, 1998	418	1998
The B-method: An introduction S Schneider Palgrave, 2001	342	2001
Security properties and CSP S Schneider Proceedings 1996 IEEE Symposium on Security and Privacy, 174-187, 1996	341	1996
Process algebra and non-interference PYA Ryan, SA Schneider Journal of Computer Security 9 (1-2), 75-103, 2001	303	2001
How to prevent type flaw attacks on security protocols J Heather, G Lowe, S Schneider Journal of computer Security 11 (2), 217-244, 2003	297	2003
CSP and anonymity S Schneider, A Sidiropoulos European Symposium on Research in Computer Security, 198-218, 1996	261	1996
An operational semantics for timed CSP S Schneider Information and computation 116 (2), 193-213, 1995	258	1995
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	226*	2009
A brief history of Timed CSP J Davies, S Schneider Theoretical Computer Science 138 (2), 243-271, 1995	202	1995
Formal analysis of a non-repudiation protocol S Schneider Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	186	1998
Prêt à voter with re-encryption mixes PYA Ryan, SA Schneider European Symposium on Research in Computer Security, 313-326, 2006	172	2006
An attack on a recursive authentication protocol A cautionary tale PYA Ryan, SA Schneider Information Processing Letters 65 (1), 7-10, 1998	146	1998
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	119	1991
Using a process algebra to control B operations H Treharne, S Schneider IFM’99, 437-456, 1999	117	1999
CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17 (4), 390-422, 2005	115	2005
An Introduction to Timer CSP J Davies, S Schneider Oxford University Computing Laboratory, Programming Research Group, 1989	107	1989
Analysing time dependent security properties in CSP using PVS N Evans, S Schneider European Symposium on Research in Computer Security, 222-237, 2000	101	2000

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs