Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la télématique

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Italie1011
Fabio Martinelli49
Italie Sauf Fabio Martinelli" 962
Fabio Martinelli Sauf Italie" 0
Italie Et Fabio Martinelli 49
Italie Ou Fabio Martinelli 1011
Corpus13574
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 49.
Ident.Authors (with country if any)Title
000493 Antonia Bertolino [Italie] ; Antonello Calabro [Italie] ; Silvano Chiaradonna [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Valerie Issarny [France] ; Massimiliano Itria [Italie] ; Francesca Lonetti [Italie] ; Marta Kwiatkowska [Royaume-Uni] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Charles Morisset [Italie] ; Nicola Nostro [Italie] ; Hongyang Qu [Royaume-Uni] ; Alberto Ribolini [Italie] ; Anna Vaccarelli [Italie]Finalised dependability framework and evaluation results
000520 Antonia Bertolino [Italie] ; Antonello Calabro [Italie] ; Silvano Chiaradonna [Italie] ; Gabriele Costa [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Mario Fusani [Italie] ; Valerie Issarny [France] ; Massimiliano Itria [Italie] ; Francesca Lonetti [Italie] ; Marta Kwiatkowska [Royaume-Uni] ; Eda Marchetti [Italie] ; Fabio Martinelli [Italie] ; Paolo Masci [Italie] ; Ilaria Matteucci [Italie] ; Charles Morisset [Italie] ; Nicola Nostro [Italie] ; Hongyang Qu [Royaume-Uni] ; Rachid Saadi [France] ; Anna Vaccarelli [Italie] ; Luca Wiegand [Italie]Consolidated dependability framework
000638 Fabio Martinelli [Italie] ; Paolo Mori [Italie]A Distributed Authorization System with Mobile Usage Control Policies
000665 Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Pays-Bas]A Semiring-based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials
000671 Leanid Krautsevic [Italie] ; Fabio Martinelli [Italie] ; Charles Morisset [Italie] ; Yautsiukhin Artsiom [Italie]Risk-based Auto-Delegation for Probabilistic Availability
000684 Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]Preserving Security Properties under Refinement
000687 Amel Bennaceur [France] ; Franck Chauvel [République populaire de Chine] ; Paola Inverardi [Italie] ; Valerie Issarny [France] ; Ilaria Matteucci [Italie] ; Fabio Martinelli [Italie] ; Romina Spalazzese [Italie] ; Massimo Tivoli [Italie]Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer
000688 Antonia Bertolino [Italie] ; Antonello Calabro [Italie] ; Silvano Chiaradonna [Italie] ; Gabriele Costa [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Mario Fusani [Italie] ; Fabrizio Grandoni [Italie] ; Valerie Issarny [France] ; Marta Kwiatkowska [Royaume-Uni] ; Eda Marcheti [Italie] ; Fabio Martinelli [Italie] ; Marco Martinucci [Italie] ; Paolo Masci [Italie] ; Ilaria Matteucci [Italie] ; Hongyang Qu [Royaume-Uni] ; Rachid Saadi [France] ; Antonino Sabetta [Italie] ; Anna Vaccarelli [Italie]Design of Approaches for Dependability and Initial Prototypes
000929 Leanid Krautsevich [Italie] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]Influence of Attribute Freshness on Decision Making in Usage Control
000945 Leanid Krautsevich [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]Formal Analysis of Security Metrics and Risk
000A38 Leanid Krautsevich [Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]A General Method for Assessment of Security in Complex Services
000A58 Gabriele Costa [Italie] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Valérie Issarny [France] ; Rachid Saadi [France] ; Nicola Dragoni [Danemark] ; Fabio Massacci [Italie]Security-by-Contract-with-Trust for Mobile Devices
000A61 Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction
000A73 Leanid Krautsevich [France, Italie] ; Fabio Martinelli [Italie] ; Artsiom Yautsiukhin [Italie]Formal approach to security metrics. What does “more secure” mean for you?∗
000A75 Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]A framework for automatic generation of security controller
000A78 Antonia Bertolino [Italie] ; Felicita Di Giandomenico [Italie] ; Paolo Masci [Italie] ; Antonino Sabetta [Italie] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Antinisca Di Marco [Italie] ; Valérie Issarny [France] ; Rachid Saadi [France]Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach
000A82 Gabriele Costa [Italie] ; Nicola Dragoni [Danemark] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Fabio Massacci [Italie] ; Ilaria Matteucci [Italie]Extending Security-by-Contract with Quantitative Trust on Mobile Devices
000A83 Gabriele Costa [Italie] ; Nicola Dragoni [Danemark] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli [Italie] ; Fabio Massacci [Italie] ; Ilaria Matteucci [Italie]Extending Security-by-Contract with Quantitative Trust on Mobile Devices
000A84 Antonia Bertolino [Italie] ; Silvano Chiaradonna [Italie] ; Gabriele Costa [Italie] ; Felicita Di Giandomenico [Italie] ; Antinisca Di Marco [Italie] ; Paul Grace [Royaume-Uni] ; Valérie Issarny [France] ; Marta Kwiatkowska [Royaume-Uni] ; Fabio Martinelli [Italie] ; Paolo Masci [Italie] ; Ilaria Matteucci [Italie] ; Hongyang Qu [Royaume-Uni] ; Mark Rouncefield [Royaume-Uni] ; Rachid Saadi [France] ; Antonino Sabetta [Italie] ; Romina Spalazzese [Italie] ; Francois Taiani [Royaume-Uni]Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World
000A86 Gabriele Costa [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Christian Schaefer [Allemagne] ; Thomas Walter [Allemagne]Runtime monitoring for next generation Java ME platform
000C37 Leanid Krautsevich [Italie] ; Aliaksandr Lazouski [Italie] ; Fabio Martinelli ; Paolo Mori ; Artsiom YautsiukhinUsage Control, Risk and Trust
000C71 Theo Dimitrakos [Royaume-Uni] ; Fabio Martinelli [Italie] ; Bruce Schneier [États-Unis]Special issue on security and trust management for dynamic coalitions
000D38 Gabriele Costa [Italie] ; Pierpaolo Degano [Italie] ; Fabio MartinelliModular Plans for Secure Service Composition
000F00 Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
000F36 Gabriele Costa [Italie] ; Pierpaolo Degano [Italie] ; Fabio Martinelli [Italie]Secure Service Composition with Symbolic Effects
001758 Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie]Synthesis of Web Services Orchestrators in a Timed Setting
001849 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
001857 Alessandro Castrucci [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Francesco Roperti [Italie]Enhancing Java ME Security Support with Resource Usage Monitoring
001933 Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie]A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family
001A38 Maurizio Colombo [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Anna Vaccarelli [Italie]Extending the Globus Architecture with Role-Based Trust Management
001C56 Fabio Martinelli [Italie] ; Paolo Mori [Italie]Enhancing Java Security with History Based Access Control
002074 Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Formal analysis of some secure procedures for certificate delivery
002192 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
002402 Fabio Martinelli [Italie]Towards an Integrated Formal Analysis for Security and Trust
002605 Fabio Martinelli [Italie]Biometrics to Enhance Smartcard Security
002606 Giampaolo Bella [Royaume-Uni, Italie] ; Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie]Biometrics to Enhance Smartcard Security
002789 Fabrizio Baiardi [Italie] ; Fabio Martinelli [Italie] ; Paolo Mori [Italie] ; Anna Vaccarelli [Italie]Improving Grid Services Security with Fine Grain Policies
002932 Fabrizio Baiardi [Italie] ; Alessandro Falleni [Italie] ; Riccardo Granchi [Italie] ; Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]SEAS: A Secure E-Voting Applet System
002B29 Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Classification of Security Properties
002D58 Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Compositional Verification of Secure Streamed Data: A Case Study with EMSS
002E34 Fabio Martinelli [Italie]Symbolic Partial Model Checking for Security Analysis
002E64 Stefano Bistarelli [Italie] ; Iliano Cervesato [États-Unis] ; Gabriele Lenzini [Italie] ; Fabio Martinelli [Italie]Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
002E77 Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols
002F65 Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Formal Analysis of Some Timed Security Properties in Wireless Protocols
003048 Roberto Gorrieri [Italie] ; Enrico Locatelli [Italie] ; Fabio Martinelli [Italie]A Simple Language for Real-Time Cryptographic Protocol Analysis
003269 Fabio Martinelli [Italie]Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems
003512 Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Automated Analysis of Some Security Mechanisms of SCEP*
004023 Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Non Interference for the Analysis of Cryptographic Protocols
004033 Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Message Authentication through Non Interference
Wicri

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