Steve Schneider

Citirano

	Sve	Od 2018.
Citati	10203	2171
H-indeks	42	22
i10-indeks	113	44

560

280

140

420

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 35 46 46 55 67 90 106 132 209 202 254 436 378 533 518 470 542 501 443 400 449 385 419 364 401 263 282 299 327 383 434 445

Javni pristup

Prikaži sve

20 članaka

1 članak

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Helen TreharneProfessor, Surrey Centre for Cyber SecurityPotvrđena adresa e-pošte na surrey.ac.uk
Peter RyanProfessor of applied security, university of luxembourgPotvrđena adresa e-pošte na uni.lu
James HeatherSenior Lecturer in Computing, University of SurreyPotvrđena adresa e-pošte na surrey.ac.uk
Chris CulnaneUniversity of Melbourne (School of Computing and Information Systems)Potvrđena adresa e-pošte na unimelb.edu.au
Jim DaviesUniversity of OxfordPotvrđena adresa e-pošte na cs.ox.ac.uk
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityPotvrđena adresa e-pošte na anu.edu.au
Markus RoggenbachProfessor of Computer Science, Swansea UniversityPotvrđena adresa e-pošte na swan.ac.uk
Liqun ChenProfessor, University of Surrey, UKPotvrđena adresa e-pošte na surrey.ac.uk
Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityPotvrđena adresa e-pošte na cs.ox.ac.uk
David BismarkVotatoPotvrđena adresa e-pošte na krimmer.at
Stephan WesemeyerUniversity of SurreyPotvrđena adresa e-pošte na surrey.ac.uk
Heike WehrheimUniversity of OldenburgPotvrđena adresa e-pošte na uni-oldenburg.de
Sriramkrishnan SrinivasanUniversity of Surrey

Prati

Steve Schneider

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

Potvrđena adresa e-pošte na surrey.ac.uk - Početna stranica

Security Privacy and Trust Electronic Voting Rail Formal Methods.


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Concurrent and real-time systems: the CSP approach S Schneider John Wiley & Sons, 1999	841	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	796	2001
Springer International Publishing: Cham L Chen, N Li, K Liang, S Schneider Switzerland 11765, 337-345, 2019	635	2019
A practical voter-verifiable election scheme D Chaum, PYA Ryan, S Schneider Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005	511	2005
Verifying authentication protocols in CSP S Schneider IEEE Transactions on software engineering 24 (9), 741-758, 1998	428	1998
The B-method: An introduction S Schneider Palgrave, 2001	378	2001
Security properties and CSP S Schneider Proceedings 1996 IEEE Symposium on Security and Privacy, 174-187, 1996	353	1996
Process algebra and non-interference PYA Ryan, SA Schneider Journal of Computer Security 9 (1-2), 75-103, 2001	323	2001
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	320	1996
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
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	290*	2009
CSP and anonymity S Schneider, A Sidiropoulos Computer Security—ESORICS 96: 4th European Symposium on Research in …, 1996	282	1996
An operational semantics for timed CSP S Schneider Information and computation 116 (2), 193-213, 1995	275	1995
A brief history of Timed CSP J Davies, S Schneider Theoretical Computer Science 138 (2), 243-271, 1995	215	1995
Formal analysis of a non-repudiation protocol S Schneider Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No …, 1998	198	1998
Prêt à voter with re-encryption mixes PYA Ryan, SA Schneider Computer Security–ESORICS 2006: 11th European Symposium on Research in …, 2006	194	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
CSP theorems for communicating B machines S Schneider, H Treharne Formal Aspects of Computing 17, 390-422, 2005	130	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	129	1991
Using a process algebra to control B operations H Treharne, S Schneider IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999	118	1999

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori