Papers - Dissemin

Language
Login

Papers

This paper was not found in any repository, but could be made available legally by the author.

1993 Jim Davies, Steve Schneider

Recursion induction for real-time processes

Upload

This paper was not found in any repository, but could be made available legally by the author.

1992 Jim Davies, Dave Jackson, Steve Schneider

Broadcast communication for real-time processes

Upload

This paper is available in a repository.

1970 Steve Schneider

Formal analysis of a non-repudiation protocol

Download from www.researchgate.net

This paper is available in a repository.

Steve Schneider

Security properties and CSP

Download from epubs.surrey.ac.uk

This paper is available in a repository.

Peter Y. A. Ryan, Steve A. Schneider

Prêt à Voter with Re-encryption Mixes

Download from epubs.surrey.ac.uk

Missing publications? Read more about our data sources.