S. A. Schneider
4 published titles
The modelling and analysis of security protocols : the CSP approach
(Contributor)
1 edition
- ISBN: 0201674718
- Addison-Wesley
- 2001
- Details
The B-method : an introduction
1 edition
- ISBN: 033379284X
- Palgrave
- 2001
- Details
Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers
(Contributor)
1 edition
- ISBN: 3540206930
- Springer
- 2003
- Details
E-voting and identity : 4th international conference, VOTE-ID 2013, Guildford, UK, July 17-19, 2013 : proceedings
(Contributor)
1 edition
- ISBN: 9783642391842
- Springer
- 2013
- Details
