|
|
|
E-Voting and Identify [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings / edited by James Heather, Steve Schneider, Vanessa Teague.
by Heather, James [editor.] | Schneider, Steve [editor.] | Teague, Vanessa [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.
by Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects in Security and Trust [electronic resource] : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider.
by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | Ryan, Peter Y.A [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II / edited by Kazue Sako, Steve Schneider, Peter Y. A. Ryan.
by Sako, Kazue [editor.] | Schneider, Steve [editor.] | Ryan, Peter Y. A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I / edited by Kazue Sako, Steve Schneider, Peter Y. A. Ryan.
by Sako, Kazue [editor.] | Schneider, Steve [editor.] | Ryan, Peter Y. A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings / edited by Liqun Chen, Mark Manulis, Steve Schneider.
by Chen, Liqun [editor.] | Manulis, Mark [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2020 [electronic resource] : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I / edited by Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider.
by Chen, Liqun [editor.] | Li, Ninghui [editor.] | Liang, Kaitai [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider.
by Polikarpova, Nadia [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
E-Voting and Identity [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings / edited by James Heather, Steve Schneider, Vanessa Teague.
by Heather, James [editor.] | Schneider, Steve [editor.] | Teague, Vanessa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider.
by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | Ryan, Peter Y A [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Security - ESORICS 2020 [electronic resource] : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II / edited by Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider.
by Chen, Liqun [editor.] | Li, Ninghui [editor.] | Liang, Kaitai [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider.
by Treharne, Helen [editor.] | King, Steve [editor.] | Henson, Martin [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / edited by Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider.
by Manulis, Mark [editor.] | Sadeghi, Ahmad-Reza [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
