Schneider, Steve 1964-....
Schneider, S. A. (Steve A.)
Schneider, Steve, 19..-....
Schneider, Steve A.
Schneider, Steve
VIAF ID: 305136237 ( Personal )
Permalink: http://viaf.org/viaf/305136237
Preferred Forms
-
-
- 100 1 _ ‡a Schneider, S. A. ‡q (Steve A.)
-
- 100 1 _ ‡a Schneider, Steve
-
-
-
- 100 1 _ ‡a Schneider, Steve, ‡d 19..-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
The B-method : an introduction | |
Computer Security ESORICS 2019 : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019 : proceedings | |
Concurrent and real time systems, c2000: | |
E-voting and identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings | |
Electronic voting and identity | |
Formal aspects of security, 2003: | |
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings | |
The modelling and analysis of security protocols, 2001: |