Your search returned 12 results.

Results
	1.	Formal Aspects in Security and Trust [electronic resource] : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / by Dimitrakos, Theo [editor.] Martinelli, Fabio [editor.] Ryan, Peter Y.A [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3866 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Computer Security – ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / by Sako, Kazue [editor.] Schneider, Steve [editor.] Ryan, Peter Y. A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11735 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Computer Security – ESORICS 2019 [electronic resource] : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II / by Sako, Kazue [editor.] Schneider, Steve [editor.] Ryan, Peter Y. A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11736 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings / by Chen, Liqun [editor.] Manulis, Mark [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11060 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	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 / by Chen, Liqun [editor.] Li, Ninghui [editor.] Liang, Kaitai [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12308 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	E-Voting and Identity [electronic resource] : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings / by Heather, James [editor.] Schneider, Steve [editor.] Teague, Vanessa [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7985 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / by Polikarpova, Nadia [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10510 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers / by Dimitrakos, Theo [editor.] Martinelli, Fabio [editor.] Ryan, Peter Y A [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 4691 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	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 / by Chen, Liqun [editor.] Li, Ninghui [editor.] Liang, Kaitai [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12309 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	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 / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / by Manulis, Mark [editor.] Sadeghi, Ahmad-Reza [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9696 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Formal Aspects of Security [electronic resource] : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / by Abdallah, Ali E [editor.] Ryan, Peter [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2629 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in