IIT Home Page CNR Home Page

Lista Pubblicazioni

Libro, 2008

G. Anastasi, E. Ancillotti, M. Conti, A. Passarella
Design, Implementation and Measurements of a Transport Protocol for Ad Hoc Networks
2008
Fabio Martinelli, Marinella Petrocchi
Formal techniques for security analysis in wireless systems
2008
N. Dragoni, F. Martinelli, F. Massacci, P. Mori, C. Schaefer, T. Walter and E. Vetillar
Security-by-Contract (SxC) for Software and Services of Mobile Systems
2008
P. Massonet, A. Arenas, F. Martinelli, P. Mori and B. Crispo
Usage Control for Trust and Security in Next Generation Grids
2008
Chiara Boldrini, Marco Conti, Andrea Passarella
User-Centric Mobility Models for Opportunistic Networking
2008