Fabio Maino < Fabio Martinelli < Fabio Massacci

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 32.
[0-20] [0 - 20][0 - 32][20-31][20-40]

Ident.	Authors (with country if any)	Title
000A90 (2011)	Leanid Krautsevich [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]	A General Method for Assessment of Security in Complex Services
000C74 (2003)	Roberto Gorrieri [Italie] ; Enrico Locatelli [Italie] ; Fabio Martinelli [Italie]	A Simple Language for Real-Time Cryptographic Protocol Analysis
000E00 (2008)	Alessandro Castrucci [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Francesco Roperti [Italie]	Enhancing Java ME Security Support with Resource Usage Monitoring
000E08 (2008)	Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]	Synthesis of Web Services Orchestrators in a Timed Setting
000E83 (2006)	Hristo Koshutanski [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Luca Borz [Italie] ; Anna Vaccarelli [Italie]	A Fine-Grained and X.509-Based Access Control System for Globus
000F68 (2007)	Fabio Martinelli [Italie] ; Paolo Mori [Italie]	Enhancing Java Security with History Based Access Control
000F88 (2011)	Leanid Krautsevich [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]	Formal Analysis of Security Metrics and Risk
001D34 (2008)	Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]	A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family
001E78 (2003)	Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]	Compositional Verification of Secure Streamed Data: A Case Study with EMSS
001F72 (2010)	Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]	A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
002055 (2010)	Leanid Krautsevich [Italie] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli ; Paolo Mori ; Artsiom Yautsiukhin	Usage Control, Risk and Trust
002152 (2003)	Fabio Martinelli [Italie]	Symbolic Partial Model Checking for Security Analysis
002214 (2002)	Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]	Automated Analysis of Some Security Mechanisms of SCEP*
002292 (2002)	Fabio Martinelli [Italie]	Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems
003142 (2000)	Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]	Message Authentication through Non Interference
003154 (2000)	Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]	Non Interference for the Analysis of Cryptographic Protocols
003345 (2003)	Stefano Bistarelli [Italie] ; Iliano Cervesato [États-Unis] ; Gabriele Lenzini [Italie] ; Fabio Martinelli [Italie]	Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
003531 (2003)	Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]	Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols
004348 (2011)	Leanid Krautsevich [Italie] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]	Influence of Attribute Freshness on Decision Making in Usage Control
004472 (2008)	Syed Naqvi [Belgique] ; Philippe Massonet [Belgique] ; Benjamin Aziz [Royaume-Uni] ; Alvaro Arenas [Royaume-Uni] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Lorenzo Blasi [Italie] ; Giovanni Cortese [Italie]	Fine-Grained Continuous Usage Control of Service Based Grids – The GridTrust Approach
004678 (2004)	Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]	Classification of Security Properties

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/Author.i -k "Fabio Martinelli" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/Author.i  \
                -Sk "Fabio Martinelli" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Fabio Martinelli
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024