1
0
0
(1 - 20 from 21
)
InTrust programme
www.intrust2012.com
9:00-9:40 Contributed talk 4: Andrea Saracino, Daniele Sgandurra, Marinella Petrocchi, Ilaria Matteucci, Gianluca Dini and Fabio Martinelli.
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP ...
books.google.de
Istituto di Informatica e Telematica – C.N.R. {fabio.martinelli,marinella.petrocchi ... Fabio Martinelli, Marinella Petrocchi, and Anna Vaccarelli.
Information Security: 5th International Conference, ISC Sao ...
books.google.de
Automated Analysis of Some Security Mechanisms of SCEP* Fabio Martinelli, Marinella Petrocchi, and Anna Vaccarelli Istituto per l'Informatica e la ...
Communications and Multimedia Security: 8th IFIP TC-6 TC books.google.com › books
books.google.de
Mobile Security l Local Management of Credits and Debits in Mobile Ad Hoc Networks Fabio Martinelli, Marinella Petrocchi, and Anna Vaccarelli.
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP ...books.google.com › books
books.google.de
Formal Analysis of Some Timed Security Properties in Wireless Protocols Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, and Anna Vaccarelli.
CiteSeerX — Automated Analysis of Some Security Mechanisms of SCEP
citeseerx.ist.psu.edu
author = {Fabio Martinelli and Marinella Petrocchi and Anna Vaccarelli}, title = { Automated Analysis of Some Security Mechanisms of SCEP}, year = {} } ...
CiteSeerX — SUMMARY
citeseer.ist.psu.edu
BibTeX @MISC{(unihh07summary, author = {Daniel Schreckling (unihh and Levente Buttyán and László Dóra (bute and Fabio Martinelli and Marinella Petrocchi (cn-cnr ...
A Formal Support for Collaborative Data Sharinghal.univ-reunion.fr › IFIP-LNCS › hal
hal.univ-reunion.fr
by F Martinelli · · Cited by 22 — Fabio Martinelli 1 Ilaria Matteucci 1 Marinella Petrocchi 1 Luca Wiegand 1. Details. 1 CNR - Consiglio Nazionale delle Ricerche [Milano].
Analysis of Data Sharing Agreements - SCITEPRESS - SCIENCE ...www.scitepress.org › Papers
www.scitepress.org
by G Costantino · · Cited by 5 — Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi. Abstract. An electronic Data Sharing Agreement (DSA) is the ...
On Relating and Integrating Two Trust Management Frameworkscyberleninka.org › article
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Fabio Martinelli, Marinella Petrocchi.
Trust Management for Grid Systems - OA.mgoa.mg › work
oa.mg
Read and download Trust Management for Grid Systems by Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Michael Wilson on ...
Executable specification of cryptofraglets with Maude for security...
slideplayer.com
Executable specification of cryptofraglets with Maude for security verification Fabio Martinelli and Marinella Petrocchi IIT-CNR, Pisa Italy presented.
Communications and Multimedia Security 2004
dl.ifip.org
Communications and Multimedia Security 2004: ... Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli How Secure are Current Mobile Operating Systems?
A Quality Model for Social Networks Populated with Web Serviceshal.archives-ouvertes.fr › hal
hal.archives-ouvertes.fr
Noura Faci, Marinella Petrocchi, Gianpiero Costantino, Fabio Martinelli, Zakaria Maamar. A Quality Model for Social Networks Populated with Web Services.
IRMA-International.org: Trust Management for Grid Systems: Benjamin...
www.irma-international.org
Trust Management for Grid Systems: Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Michael Wilson: Book Chapters
ThinkMind(TM) Digital Library
www.thinkmind.org
Gianpiero Costantino Fabio Martinelli Marinella Petrocchi. Keywords: Reviewing Systems, Design and Evaluation, Prob- abilistic Client Model, Unfair Feedback.
Publications - Benjamin Azizazizb.myweb.port.ac.uk/publications.htm
azizb.myweb.port.ac.uk
Alvaro Arenas, Benjamin Aziz, Fabio Martinelli, Marinella Petrocchi and Paolo Mori. Trust Management for Grid Systems. In Trust Modelling and Management in ...
Program
isyou.info
Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi and Luca Wiegand. - Tool-Supported Risk Modeling and Analysis of Evolving Critical Infrastructures
Consequence - Context-aware data-centric information sharing
www.consequence-project.eu
Colombo M., Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi. “Context-Aware Analysis of Data Sharing Agreements” to appear in Proceedings of ...
Sensoria Bibliography Site
rap.dsi.unifi.it
Fabio Martinelli, Marinella Petrocchi. Proc. of 2nd International Workshop on Views On Designing Complex Architectures. ENTCS. Elsevier
All web results to the name "Marinella Petrocchi"
Related search requests for Marinella Petrocchi
Fabio Saracco Stefano Cresci Anna Vaccarelli | Guido Caldarelli Angelo Spognardi Maurizio Tesconi | Paolo Mori Vittoria Cozza Fabio Martinelli |
People Forename "Marinella" (575) Name "Petrocchi" (51) |
sorted by relevance / date