Your search returned 12 results.

Results
	1.	Formal Aspects in Security and Trust [electronic resource] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli. by Dimitrakos, Theo [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: IFIP International Federation for Information Processing ; 173 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Engineering Secure Future Internet Services and Systems [electronic resource] : Current Research / edited by Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli. by Heisel, Maritta [editor.] Joosen, Wouter [editor.] Lopez, Javier [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8431 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	3.	Foundations of Security Analysis and Design VII [electronic resource] : FOSAD 2012/2013 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli. by Aldini, Alessandro [editor.] Lopez, Javier [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8604 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	4.	Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3655 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	5.	Formal Aspects in Security and Trust [electronic resource] : Thrid 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) Series: Lecture Notes in Computer Science ; 3866 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	6.	Trust Management [electronic resource] : 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006. Proceedings / edited by Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci. by Stølen, Ketil [editor.] Winsborough, William H [editor.] Martinelli, Fabio [editor.] Massacci, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3986 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	7.	Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, 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) Series: Lecture Notes in Computer Science ; 4691 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	8.	Formal Aspects in Security and Trust [electronic resource] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli. by Degano, Pierpaolo [editor.] Guttman, Joshua [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5491 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	9.	Information Security [electronic resource] : 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings / edited by Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio A. Ardagna. by Samarati, Pierangela [editor.] Yung, Moti [editor.] Martinelli, Fabio [editor.] Ardagna, Claudio A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5735 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	10.	Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel. by Martinelli, Fabio [editor.] Preneel, Bart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6391 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	11.	Computer Security – ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli. by Foresti, Sara [editor.] Yung, Moti [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7459 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	12.	Trust Management VII [electronic resource] : 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings / edited by Carmen Fernández-Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo. by Fernández-Gago, Carmen [editor.] Martinelli, Fabio [editor.] Pearson, Siani [editor.] Agudo, Isaac [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 401 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Maintained by VTU Library