Results for author 'Fabio Martinelli'

Formal Aspects in Security and Trust

Fourth International Workshop, Fast 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design VII

FOSAD 2012 / 2013 Tutorial Lectures

Foundations of Security Analysis and Design VIII

FOSAD 2014/2015/2016 Tutorial Lectures

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

Advanced Sciences and Technologies for Security Applications

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

Advanced Sciences and Technologies for Security Applications

Collaborative Approaches for Cyber Security in Cyber-Physical Systems