Marinella Petrocchi

Available identifiers

zbMath Open petrocchi.marinellaMaRDI QIDQ511937

List of research outcomes

Publication	Date of Publication	Type
A language-based approach to modelling and analysis of Twitter interactions	2017-02-22	Paper
A formalization of credit and responsibility within the GNDC schema	2016-05-06	Paper
A uniform framework for security and trust modeling and analysis with crypto-CCS	2013-12-13	Paper
Theoretical Computer Science	2010-02-23	Paper
Formal analysis of some timed security properties in wireless protocols.	2010-01-12	Paper
Formal models and analysis of secure multicast in wired and wireless networks	2009-11-25	Paper
A team automaton scenario for the analysis of security properties of communication protocols	2008-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4408461	2003-06-29	Paper

Research outcomes over time

This page was built for person: Marinella Petrocchi