| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steve Schneider, Helen Treharne |
Changing system interfaces consistently: A new refinement strategy for CSP||B.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
Bounded Retransmission in Event-B∥CSP: a Case Study. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
A CSP Account of Event-B Refinement |
Refine |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Abdelhalim, Steve Schneider, Helen Treharne |
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia |
Focus group views on Prêt à Voter 1.0. |
REVOTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilson Ifill, Steve A. Schneider |
A step towards refining and translating B control annotations to Handel-C. |
Concurrency and Computation: Practice and Experience |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan |
Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. |
INDOCRYPT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alistair A. McEwan, Steve Schneider |
Modelling and analysis of the AMBA bus using CSP and B. |
Concurrency and Computation: Practice and Experience |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Heike Wehrheim |
A CSP Approach to Control in Event-B. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider |
Specifying authentication using signal events in CSP. |
Computers & Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Beeta Vajar, Steve Schneider, Helen Treharne |
Mobile CSP||B. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peter Y. A. Ryan, David Bismark, James Heather, Steve Schneider, Zhe Xia |
Prêt à voter: a voter-verifiable voting system. |
IEEE Transactions on Information Forensics and Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne |
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Steve Schneider, Neil Grant, Neil Evans, Wilson Ifill |
A Step towards Merging xUML and CSP || {\| \ }B. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré |
Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. |
EVT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Edward Turner, Helen Treharne, Steve Schneider, Neil Evans |
Automatic Generation of CSP || B Skeletons from xUML Models. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill |
Experiments in Translating CSP || B to Handel-C. |
CPA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Edward Turner, Steve Schneider, Neil Evans |
Object Modelling in the SystemB Industrial Project. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilson Ifill, Steve A. Schneider, Helen Treharne |
Augmenting B with Control Annotations. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch (eds.) |
The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007 |
CPA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.) |
Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers |
Formal Aspects in Security and Trust |
2007 |
DBLP BibTeX RDF |
|
| 1 | Damien Karkinsky, Steve A. Schneider, Helen Treharne |
Combining Mobility with State. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider |
Guest Editors' Preface. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Delicata, Steve Schneider |
An algebraic approach to the verification of a class of Diffie-Hellman protocols. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
Protocol verification, Diffie-Hellman |
| 1 | Alistair A. McEwan, Steve Schneider |
Modeling and Analysis of the AMBA Bus Using CSP and B. |
CPA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wilson Ifill, Steve Schneider |
A Step Towards Refining and Translating B Control Annotations to Handel-C. |
CPA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Foulle, Steve Schneider, Jacques Traoré, Zhe Xia |
Threat Analysis of a Practical Voting Scheme with Receipts. |
VOTE-ID |
2007 |
DBLP DOI BibTeX RDF |
Voter verifiable, voting ducks, electronic voting, threat analysis |
| 1 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.) |
Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers |
Formal Aspects in Security and Trust |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Y. A. Ryan, Steve A. Schneider |
Prêt à Voter with Re-encryption Mixes. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank monitoring: a pAMN case study. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic B, Probabilistic predicate transformers, Formal methods, Refinement |
| 1 | Joël Ouaknine, Steve Schneider |
Timed CSP: A Retrospective. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alistair A. McEwan, Steve Schneider |
A verified development of hardware using CSP/spl par/B. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Heather, Steve Schneider |
To infinity and beyond or, avoiding the infinite in security protocol analysis. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
model checking, security protocols, strand spaces |
| 1 | Steve Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock |
A Layered Behavioural Model of Platelets. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Evans, Steve A. Schneider |
Verifying security protocols with PVS: widening the rank function approach. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank Monitoring: A pAMN Case Study. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider |
Specifying Authentication Using Signal Events in CSP. |
CISC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Delicata, Steve A. Schneider |
A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve A. Schneider, Helen Treharne, Neil Evans |
Chunks: Component Verification in CSP||B. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Component based verification, decomposition, CSP, B-Method |
| 1 | Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider (eds.) |
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings |
ZB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rob Delicata, Steve A. Schneider |
Temporal Rank Functions for Forward Secrecy. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Chaum, Peter Y. A. Ryan, Steve A. Schneider |
A Practical Voter-Verifiable Election Scheme. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | James Heather, Steve Schneider |
A decision procedure for the existence of a rank function. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne |
CSP theorems for communicating B machines. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne |
Verifying Controlled Components. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider |
Guest editorial overview. |
IEEE Journal on Selected Areas in Communications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James Heather, Gavin Lowe, Steve Schneider |
How to Prevent Type Flaw Attacks on Security Protocols. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wing Lok Yeung, Steve Schneider |
Design and Verification of Distributed Recovery Blocks with CSP. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
distributed recovery block scheme, timewise refinement, fault-tolerance, real-time systems, CSP, formal specification and verification |
| 1 | Ali E. Abdallah, Peter Ryan, Steve Schneider (eds.) |
Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers |
FASec |
2003 |
DBLP BibTeX RDF |
|
| 1 | Helen Treharne, Steve Schneider, Marchia Bramble |
Composing Specifications Using Communication. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms |
| 1 | Steve Schneider |
Verifying Authentication Protocol Implementations. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Steve Schneider, Helen Treharne |
Communicating B Machines. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, B-Method, Combining Formalisms |
| 1 | James Heather, Steve Schneider |
Equal To The Task? |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
inequality tests, formal methods in security, RSA, cryptographic protocols, security models, rank functions, data independence, security verification, strand spaces |
| 1 | Peter Y. A. Ryan, Steve A. Schneider |
Process Algebra and Non-Interference. |
Journal of Computer Security |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter Y. A. Ryan, Steve A. Schneider |
Modelling and analysis of security protocols. |
|
2001 |
RDF |
|
| 1 | Steve Schneider |
Process Algebra and Security. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Abstraction and Testing in CSP. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics |
| 1 | Steve Schneider, Peter Ryan |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
May Testing, Non-interference, and Compositionality. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Steve Schneider |
How to Drive a B Machine. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms |
| 1 | James Heather, Steve Schneider |
Towards Automatic Verification of Authentication Protocols on an Unbounded Network. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James Heather, Gavin Lowe, Steve Schneider |
How to Prevent Type Flaw Attacks on Security Protocols. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Evans, Steve Schneider |
Analysing Time Dependent Security Properties in CSP Using PVS. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
Authentication Protocol Verification, Timed Behaviour, CSP, Automated Theorem Proving, PVS |
| 1 | Peter Y. A. Ryan, Steve A. Schneider |
Process Algebra and Non-Interference. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl B. Adekunle, Steve Schneider |
Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Steve Schneider |
Using a Process Algebra to Control B Operations. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Steve Schneider |
Abstraction and Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. A. Ryan, Steve A. Schneider |
An Attack on a Recursive Authentication Protocol. A Cautionary Tale. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Verifying Authentication Protocols in CSP. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP |
| 1 | Helen Treharne, J. Draper, Steve Schneider |
Test Case Preparation Using a Prototype. |
B |
1998 |
DBLP DOI BibTeX RDF |
Formal Software Lifecycle, Prototype, B-Method |
| 1 | Steve Schneider |
Formal Analysis of a Non-Repudiation Protocol. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Timewise Refinement for Communicating Processes. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Verifying authentication protocols with CSP. |
CSFW |
1997 |
DBLP DOI BibTeX RDF |
Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP |
| 1 | Bruno Dutertre, Steve Schneider |
Using a PVS Embedding of CSP to Verify Authentication Protocols. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Security Properties and CSP. |
IEEE Symposium on Security and Privacy |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Abraham Sidiropoulos |
CSP and Anonymity. |
ESORICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Mislove, A. W. Roscoe, Steve Schneider |
Fixed Points Without Completeness. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Steve Schneider |
A Brief History of Timed CSP. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
An Operational Semantics for Timed CSP |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Bryans, Jim Davies, Steve Schneider |
Towards a denotational semantics for ET-LOTOS. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Bryans, Steve Schneider |
Real-time LOTOS and Timed Observations. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Steve Schneider |
Recursion Induction for Real-Time Processes. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Timewise Refinement for Communicating Processes. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider |
Rigorous Specification of Real-Time Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jim Davies, Steve Schneider |
Using CSP to Verify a Timed Protocol over a Fair Medium. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Dave Jackson, Steve Schneider |
Broadcast Communication for Real-time Processes. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe |
Timed CSP: Theory and Practice. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Real-Time CSP, Timewise Refinement, Telephone Switching, Robotics, Concurrency, Temporal Logic, Specification and Verification, Control Software |
| 1 | Jim Davies, Steve Schneider |
Factorizing Proofs in Timed CSP. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")