- 9
- 1
Salvador Martínez
Salvador Martínez - Associate Professor, IMT Atlantique
10
Documents
Affiliations actuelles
- 489780
- 1067623
- 481355
Identifiants chercheurs
- salvador-martinez-perez
- ResearcherId : F-2081-2016
- 0000-0002-3978-9876
- IdRef : 180662198
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 4
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Management of stateful firewall misconfigurationComputers and Security, 2013, 39 (11), pp.64-85
Article dans une revue
hal-00869328v1
|
|
A Catalogue of Refactorings for Model-to-Model TransformationsThe Journal of Object Technology, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩
Article dans une revue
hal-00734216v1
|
|
Runtime support for rule-based access-control evaluation through model-transformationthe 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩
Communication dans un congrès
hal-02864664v1
|
Towards an Access-Control Metamodel for Web Content Management SystemsICWE 2013: the International Conference on Web Engineering - MDWE 2013: Model-Driven Web Engineering, Jul 2013, Aalborg, Denmark. pp 148-155
Communication dans un congrès
hal-00869324v1
|
|
Model-Driven Extraction and Analysis of Network Security PoliciesModel-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. pp.52-68
Communication dans un congrès
hal-00869319v1
|
|
Reverse Engineering of Database Security PoliciesDEXA 2013 : 24th International Conference on Database and Expert Systems Applications, Aug 2013, Prague, Czech Republic. pp.442 - 449, ⟨10.1007/978-3-642-40173-2_37⟩
Communication dans un congrès
hal-01161908v1
|
|
A model-driven approach for the extraction of network access-control policiesModel-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria
Communication dans un congrès
hal-00734230v1
|
|
Catálogo de refactorizaciones para transformaciones Modelo a ModeloXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Sep 2011, A Coruña, España
Communication dans un congrès
inria-00609451v1
|
|
Lazy Execution of Model-to-Model TransformationsModel Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand
Communication dans un congrès
inria-00609458v1
|
|
PORTOLAN: a Model-Driven Cartography Framework[Research Report] RR-7542, INRIA. 2011, pp.27
Rapport
inria-00568186v1
|