Your search returned 4 results.

Results
	1.	Formal Aspects in Security and Trust [electronic resource] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers / by Degano, Pierpaolo [editor.] Guttman, Joshua D [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5491 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Formal Aspects in Security and Trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / by Degano, Pierpaolo [editor.] Guttman, Joshua D [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5983 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / by Degano, Pierpaolo [editor.] Guttman, Joshua D [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7215 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Foundations of Security, Protocols, and Equational Reasoning [electronic resource] : Essays Dedicated to Catherine A. Meadows / by Guttman, Joshua D [editor.] Landwehr, Carl E [editor.] Meseguer, José [editor.] Pavlovic, Dusko [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11565 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)

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