Position:	Ricercatore
Email:	marinella [dot] petrocchiiit [dot] cnr [dot] it
Phone:	+39 050 315 3432
Mobile:	+39 348 826 0773
Fax:	+39 050 315 2593
Building:	B
Entrance:	7-18
Floor:	1
Room:	B65a
URL:	Personal Web Page

A-Z
A|B|C
D|F|G
I|K|L
M|N|O
P|R|S
T|V|W
Y
A-Z

Activities

Projects

Publications

Book

A. Arenas, B. Aziz, F. Martinelli, P. Mori, M. Petrocchi, M. Wilson
Trust management for grid systems
2010

Fabio Martinelli, Marinella Petrocchi
Formal techniques for security analysis in wireless systems
2008

ISI journal

Levente Buttyan, Lazlo Dora, Fabio Martinelli, Marinella Petrocchi
Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks
2010, Computer Communications

M. Colombo, F. Martinelli, P. Mori, M. Petrocchi, A. Vaccarelli
Fine Grained Access Control with Trust and Reputation Management for Globus
2007, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)

F. Martinelli, M. Petrocchi, A. Vaccarelli
Formal analysis of some secure procedures for certificate delivery
2006, SOFTWARE TESTING VERIFICATION & RELIABILITY (13441J0)

non-ISI journal

Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
2008, Journal of Automated Reasoning

F. Martinelli, M. Petrocchi
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
2007, Electr. Notes Theor. Comput. Sci.

F. Martinelli, M. Petrocchi
On Relating and Integrating Two Trust Management Frameworks
2007, Electr. Notes Theor. Comput. Sci.

R.Gorrieri, F. Martinelli, M. Petrocchi
A formalization of credit and responsibility within the GNDC schema.
2006, Electronic Notes in Theoretical Computer Science

L. Egidi, M. Petrocchi
Modelling a secure agent with team automata
2006, Electronic Notes in Theoretical Computer Science

M. ter Beek, G. Lenzini, M. Petrocchi.
Contributions of Team Automata in Security.
2005, ERCIM News

F. Baiardi, A. Falleni, R. Granchi, F. Martinelli, M.Petrocchi, and A. Vaccarelli
SEAS, a secure e-voting protocol: Design and implementation
2005, Computers & Security

M. ter Beek, G. Lenzini, M. Petrocchi
Team automata for security -- a survey
2005, ENTCS

Conference article

Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi
Priorities-based Review Computation
2012, AAAI Spring Symposia

Gianpiero Costantino, Charles Morisset, Marinella Petrocchi
Subjective Review-based Reputation
2012, 2012 Symposium of Applied Computing: TRECK Track

Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio, Luca Wiegand
A Design Phase for Data Sharing Agreements
2011, LNCS 7122: Proc. of Data Privacy Management 2011

Ilaria Matteucci, Paolo Mori, Marinella Petrocchi, Luca Wiegand
Controlled Data Sharing in e-Health
2011, IEEE STAST 2011, 1st Workshop on Socio-Technical Aspects in Security and Trust

I. Matteucci, M. Petrocchi, M.L. Sbodio
CNL4DSA: a controlled natural language for data sharing agreements
2010, ACM SAC 2010

Maurizio Colombo, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
Context-Aware Analysis of Data Sharing Agreements
2010, 2010 Third International Conference on Advances in Human-Oriented and Personalized Mechanisms, Technologies and Services (CENTRIC) (Workshop EuroCAT 2010)

Fabio Martinelli, Marinella Petrocchi
Executable specification of cryptofraglets in Maude for security verification
2009, Bionetics 2009

Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi and Anna Vaccarelli
Mobile implementation and formal verification of an e-voting system
2008, ICIW

Fabio Martinelli, Marinella Petrocchi
Signed and weighted trust credentials in Fraglets
2008, BIONETICS

F. Martinelli, M. Petrocchi
Access control mechanisms for fraglets
2007, BIONETICS 2007

• 1
• 2
• next ›
• last »

Conference abstract

M. Petrocchi
A Formalization of the SCEP Protocol Enrolment Phase
2002, 1st FMOODS Ph.D. Workshop, co-located with FMOODS 2002

Report

Marco Casassa Mont, Ilaria Matteucci, Marinella Petrocchi, Marco Luca Sbodio
Enabling Data Sharing in the Cloud
2012

Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi
A Client-Aware Reputation System for e-Services
2011

Colombo M, Martinelli F, Matteucci I, Petrocchi M
Analysis of Data Sharing Agreements with Automated veri cation and WS implementation
2010

R. Gorrieri, F. Martinelli, M. Petrocchi
Formal models and analysis of secure multicast in wired and wireless networks
2008

Petrocchi M.
Aspects of Modeling and Verifying Secure Procedures
2005

ter Beek, Maurice; Lenzini, Gabriele; Petrocchi, Marinella
Team Automata for Security - A Survey
2004

Martinelli F., Petrocchi M., Vaccarelli A.
Automated analysis of some security mechanism of SCEP
2002

De Francesco N., Petrocchi M.
Introducing Authenticated Information in a Reliable Multicast Protocol for Mobile Computing
2002

Presentations/Demos