Steve A. Schneider

Proceedings of the Smart Card Research and Advanced Applications, 2013

Solving the Discrete Logarithm Problem for Packing Candidate Preferences.

[BibT_eX]

[DOI]

Chris Culnane

Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012

Railway modelling in CSP||B: the double junction case study.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Using Prêt à Voter in Victoria State Elections.

[BibT_eX]

[DOI]

Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

An Optimization Approach for Effective Formalized fUML Model Checking.

[BibT_eX]

[DOI]

Islam Abdelhalim

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2012

A Formal Framework for Modelling Coercion Resistance and Receipt Freeness.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission.

[BibT_eX]

[DOI]

Vanessa Teague

Roland Wen

Proceedings of the 5th International Conference on Electronic Voting 2012, 2012

2011

Changing system interfaces consistently: A new refinement strategy for CSP||B.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Bounded Retransmission in Event-B∥CSP: a Case Study.

[BibT_eX]

[DOI]

Heike Wehrheim

Proceedings of the B 2011 Workshop, 2011

A CSP Account of Event-B Refinement

[BibT_eX]

[DOI]

Heike Wehrheim

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Prêt á Voter with Write-Ins.

[BibT_eX]

[DOI]

Chris Culnane

Proceedings of the E-Voting and Identity - Third International Conference, 2011

Feasibility Analysis of Prêt à Voter for German Federal Elections.

[BibT_eX]

[DOI]

Proceedings of the E-Voting and Identity - Third International Conference, 2011

Authentication Codes.

[BibT_eX]

[DOI]

Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2011

Focus group views on Prêt à Voter 1.0.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Workshop on Requirements Engineering for Electronic Voting Systems, 2011

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP.

[BibT_eX]

[DOI]

Islam Abdelhalim

Proceedings of the Formal Methods and Software Engineering, 2011

Security Analysis using Rank Functions in CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Modelling and analysis of the AMBA bus using CSP and B.

[BibT_eX]

[DOI]

Alistair A. McEwan

Concurr. Comput. Pract. Exp., 2010

A step towards refining and translating B control annotations to Handel-C.

[BibT_eX]

[DOI]

Wilson Ifill

Concurr. Comput. Pract. Exp., 2010

Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - INDOCRYPT 2010, 2010

A CSP Approach to Control in Event-B.

[BibT_eX]

[DOI]

Heike Wehrheim

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Prêt à voter: a voter-verifiable voting system.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2009

Mobile CSP||B.

[BibT_eX]

[DOI]

Beeta Vajar

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Specifying authentication using signal events in CSP.

[BibT_eX]

[DOI]

Siraj A. Shaikh

Vicky J. Bush

Comput. Secur., 2009

Experiences Gained from the first Prêt à Voter Implementation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems, 2009

A Step towards Merging xUML and CSP || {\| \ }B.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Experiments in Translating CSP || B to Handel-C.

[BibT_eX]

[DOI]

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption.

[BibT_eX]

[DOI]

Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop, 2008

Automatic Generation of CSP || B Skeletons from xUML Models.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Object Modelling in the SystemB Industrial Project.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Guest Editors' Preface.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2007

An algebraic approach to the verification of a class of Diffie-Hellman protocols.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2007

Modeling and Analysis of the AMBA Bus Using CSP and B.

[BibT_eX]

[DOI]

Alistair A. McEwan

Proceedings of the 30th Communicating Process Architectures Conference, 2007

Threat Analysis of a Practical Voting Scheme with Receipts.

[BibT_eX]

[DOI]

Proceedings of the E-Voting and Identity, First International Conference, 2007

Combining Mobility with State.

[BibT_eX]

[DOI]

Damien Karkinsky

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Augmenting B with Control Annotations.

[BibT_eX]

[DOI]

Wilson Ifill

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

To infinity and beyond or, avoiding the infinite in security protocol analysis.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A verified development of hardware using CSP∥B.

[BibT_eX]

[DOI]

Alistair A. McEwan

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

A Layered Behavioural Model of Platelets.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Prêt à Voter with Re-encryption Mixes.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2006

2005

The Web and the 2004 EP election: Comparing political actor Web sites in 11 EU Member States.

[BibT_eX]

[DOI]

Nicholas W. Jankowski

Kirsten Foot

Randy Kluver

Steve Schneider

Inf. Polity, 2005

Verifying security protocols with PVS: widening the rank function approach.

[BibT_eX]

[DOI]

Neil Evans

J. Log. Algebraic Methods Program., 2005

A decision procedure for the existence of a rank function.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

CSP theorems for communicating B machines.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2005

Tank Monitoring: A pAMN Case Study.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

Timed CSP: A Retrospective.

[BibT_eX]

[DOI]

Joël Ouaknine

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Chunks: Component Verification in CSP||B.

[BibT_eX]

[DOI]

Neil Evans

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

A Practical Voter-Verifiable Election Scheme.

[BibT_eX]

[DOI]

David Chaum

Proceedings of the Computer Security, 2005

Temporal Rank Functions for Forward Secrecy.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Verifying Controlled Components.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Verifying Security Protocols: An Application of CSP.

[BibT_eX]

[DOI]

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

Guest editorial overview.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2003

How to Prevent Type Flaw Attacks on Security Protocols.

[BibT_eX]

[DOI]

Gavin Lowe

J. Comput. Secur., 2003

Design and Verification of Distributed Recovery Blocks with CSP.

[BibT_eX]

[DOI]

Wing Lok Yeung

Formal Methods Syst. Des., 2003

Composing Specifications Using Communication.

[BibT_eX]

[DOI]

Marchia Bramble

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Communicating B Machines.

[BibT_eX]

[DOI]

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Verifying Authentication Protocol Implementations.

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

Equal To The Task?

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2002

2001

Process Algebra and Non-Interference.

[BibT_eX]

[DOI]

J. Comput. Secur., 2001

Process Algebra and Security.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

The B-method - an introduction.

[BibT_eX]

The cornerstones of computing series, Macmillan Publ., ISBN: 978-0-333-79284-1, 2001

Modelling and analysis of security protocols.

[BibT_eX]

Addison-Wesley-Longman, ISBN: 978-0-201-67471-2, 2001

2000

Abstraction and Testing in CSP.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

May Testing, Non-interference, and Compositionality.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

How to Drive a B Machine.

[BibT_eX]

[DOI]

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Analysing Time Dependent Security Properties in CSP Using PVS.

[BibT_eX]

[DOI]

Neil Evans

Proceedings of the Computer Security, 2000

Towards Automatic Verification of Authentication Protocols on an Unbounded Network.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

Preface.

[BibT_eX]

[DOI]

Peter Ryan

Proceedings of the Workshop on Secure Architectures and Information Flow 1999, 1999

Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.

[BibT_eX]

[DOI]

Carl B. Adekunle

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Using a Process Algebra to Control B Operations.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

Abstraction and Testing.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

Verifying Authentication Protocols in CSP.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

An Attack on a Recursive Authentication Protocol. A Cautionary Tale.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

Formal Analysis of a Non-Repudiation Protocol.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

Test Case Preparation Using a Prototype.

[BibT_eX]

[DOI]

J. Draper

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

Timewise Refinement for Communicating Processes.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1997

Using a PVS Embedding of CSP to Verify Authentication Protocols.

[BibT_eX]

[DOI]

Bruno Dutertre

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

Security Properties and CSP.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

CSP and Anonymity.

[BibT_eX]

[DOI]

Abraham Sidiropoulos

Proceedings of the Computer Security, 1996

1995

An Operational Semantics for Timed CSP

[BibT_eX]

[DOI]

Inf. Comput., February, 1995

Fixed Points Without Completeness.

[BibT_eX]

[DOI]

Michael W. Mislove

A. W. Roscoe

Theor. Comput. Sci., 1995

A Brief History of Timed CSP.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Real-time LOTOS and Timed Observations.

[BibT_eX]

Jeremy W. Bryans

Proceedings of the Formal Description Techniques VIII, 1995

Towards a denotational semantics for ET-LOTOS.

[BibT_eX]

[DOI]

Jeremy W. Bryans

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1993

Recursion Induction for Real-Time Processes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1993

Rigorous Specification of Real-Time Systems.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Broadcast Communication for Real-time Processes.

[BibT_eX]

[DOI]

Dave Jackson

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Using CSP to Verify a Timed Protocol over a Fair Medium.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '92, 1992

1991

Timed CSP: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Real-Time: Theory in Practice, 1991

1989

Factorizing Proofs in Timed CSP.

[BibT_eX]

[DOI]