dblp.uni-trier.dewww.uni-trier.de

Fabio Martinelli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
75EEPierpaolo Degano, Joshua D. Guttman, Fabio Martinelli: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers Springer 2009
74EEPierangela Samarati, Moti Yung, Fabio Martinelli, Claudio Agostino Ardagna: Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings Springer 2009
73EEFabio Martinelli, Ilaria Matteucci: Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42
72EEFabio Martinelli, Alistair Sinclair: Mixing time for the solid-on-solid model. STOC 2009: 571-580
71EERoberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)
70EEHristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Enhancing grid security by fine-grained behavioral control and negotiation-based authorization. Int. J. Inf. Sec. 8(4): 291-314 (2009)
2008
69EEFabio Martinelli, Ilaria Matteucci: Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127
68EEStefano Bistarelli, Fabio Martinelli, Francesco Santini: Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134
67EEStefano Bistarelli, Fabio Martinelli, Francesco Santini: A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495
66EEAlessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti: Enhancing Java ME Security Support with Resource Usage Monitoring. ICICS 2008: 256-266
65EEStefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Mobile Implementation and Formal Verification of an e-Voting System. ICIW 2008: 476-481
64EEPaolo Greci, Fabio Martinelli, Ilaria Matteucci: A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236
63EESyed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese: Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave 2008: 242-253
62EEBenjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117
61EERoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reasoning 41(3-4): 325-364 (2008)
2007
60 Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Springer 2007
59EEMaurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Extending the Globus Architecture with Role-Based Trust Management. EUROCAST 2007: 448-456
58EEFabio Martinelli, Paolo Mori: Enhancing Java Security with History Based Access Control. FOSAD 2007: 135-159
57EEMaurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli: Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) 2007: 1505-1515
56EEFabio Martinelli, Ilaria Matteucci: Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138
55EEFabio Martinelli, Marinella Petrocchi: On Relating and Integrating Two Trust Management Frameworks. Electr. Notes Theor. Comput. Sci. 168: 191-205 (2007)
54EEFabio Martinelli, Ilaria Matteucci: An Approach for the Specification, Verification and Synthesis of Secure Systems. Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007)
53EEFabio Martinelli, Ilaria Matteucci: Through Modeling to Synthesis of Security Automata. Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007)
52EEFabio Martinelli, Marinella Petrocchi: A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. Electr. Notes Theor. Comput. Sci. 186: 85-99 (2007)
51EETheodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
50EEFabio Martinelli, Alistair Sinclair, Dror Weitz: Fast mixing for independent sets, colorings, and other models on trees. Random Struct. Algorithms 31(2): 134-172 (2007)
2006
49 Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Springer 2006
48 Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci: Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings Springer 2006
47EEHristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. ICAS 2006: 34
46EEHristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli: A Fine-Grained and X.509-Based Access Control System for Globus. OTM Conferences (2) 2006: 1336-1350
45EERoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006)
44EEFabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal analysis of some secure procedures for certificate delivery. Softw. Test., Verif. Reliab. 16(1): 33-59 (2006)
2005
43 Theodosis Dimitrakos, Fabio Martinelli: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France Springer 2005
42 Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli: Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures Springer 2005
41EEFabio Martinelli: Towards an Integrated Formal Analysis for Security and Trust. FMOODS 2005: 115-130
40EEFabio Martinelli, Paolo Mori, Anna Vaccarelli: Towards Continuous Usage Control on Grid Computational Services. ICAS/ICNS 2005: 82
39EEFabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli: A Flexible Framework for Access Control Based on Ability Authentication. SAINT Workshops 2005: 106-109
38EEFabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS, a secure e-voting protocol: Design and implementation. Computers & Security 24(8): 642-652 (2005)
37EEStefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. Electr. Notes Theor. Comput. Sci. 118: 57-70 (2005)
36EENadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
35 Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating multiset rewriting and process algebras for security protocol analysis. Journal of Computer Security 13(1): 3-47 (2005)
34EERoberto Gorrieri, Fabio Martinelli: Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005)
2004
33EEFabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Improving Grid Services Security with Fine Grain Policies. OTM Workshops 2004: 123-134
32EEFabio Martinelli, Alistair Sinclair, Dror Weitz: Fast mixing for independent sets, colorings and other models on trees. SODA 2004: 456-465
31EEStefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Electr. Notes Theor. Comput. Sci. 99: 111-126 (2004)
30EERoberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)
29EERoberto Gorrieri, Fabio Martinelli: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004)
2003
28EERoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149
27EERoberto Gorrieri, Enrico Locatelli, Fabio Martinelli: A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128
26EEStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426
25EERoberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154
24EEFabio Martinelli, Alistair Sinclair, Dror Weitz: The Ising Model on Trees: Boundary Conditions and Mixing Time. FOCS 2003: 628-639
23EEFabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396
22EEFabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS: A Secure E-Voting Applet System. ISSS 2003: 318-329
21EERoberto Gorrieri, Fabio Martinelli: Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67
20EEFabio Martinelli: Symbolic Partial Model Checking for Security Analysis. MMM-ACNS 2003: 122-134
19EEStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
18EEGiampaolo Bella, Stefano Bistarelli, Fabio Martinelli: Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332
17EEFabio Martinelli: Biometrics to Enhance Smartcard Security (Discussion). Security Protocols Workshop 2003: 333-335
16 Fabio Martinelli: Analysis of security protocols as open systems. Theor. Comput. Sci. 290(1): 1057-1106 (2003)
15 Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)
2002
14EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185
13 Fabio Martinelli: About Compositional Analysis of Pi-Calculus Processes. IFIP TCS 2002: 524-536
12EEFabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Automated Analysis of Some Security Mechanisms of SCEP. ISC 2002: 414-427
11EEFabio Martinelli: Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. MFCS 2002: 519-531
2001
10EERiccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: (2001)
9EEChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
8EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272
7EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184
6EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372
5EERiccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: (2000)
1999
4EEDavide Marchignoli, Fabio Martinelli: Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS 1999: 148-162
3EERiccardo Focardi, Fabio Martinelli: A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods 1999: 794-813
1998
2EEFabio Martinelli: Partial Model Checking and Theorem Proving for Ensuring Security Properties. CSFW 1998: 44-52
1EEFabio Martinelli: An Improvement of Algorithms for Solving Interface Equations. Inf. Process. Lett. 67(4): 185-190 (1998)

Coauthor Index

1Alessandro Aldini [42]
2Claudio Agostino Ardagna [74]
3Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas) [62] [63]
4Benjamin Aziz [62] [63]
5Fabrizio Baiardi [22] [33] [38]
6Giampaolo Bella [18]
7Stefano Bistarelli [18] [19] [26] [35] [67] [68]
8Lorenzo Blasi [63]
9Chiara Bodei [9]
10Luca Borz [46]
11Nadia Busi [36]
12Stefano Campanelli [65]
13Alessandro Castrucci [66]
14Iliano Cervesato [19] [26] [35]
15Maurizio Colombo [57] [59]
16Giovanni Cortese [63]
17Pierpaolo Degano [9] [75]
18Fabio Dianda [39]
19Theodosis Dimitrakos [43] [49] [51] [60]
20Alessandro Falleni [22] [38] [65]
21Riccardo Focardi [3] [5] [6] [7] [8] [9] [10] [14] [15]
22Filippo Giuntini [39]
23Stefania Gnesi [31] [37]
24Roberto Gorrieri [5] [6] [7] [8] [9] [10] [14] [15] [21] [25] [27] [28] [29] [30] [34] [36] [42] [45] [61] [71]
25Riccardo Granchi [22] [38]
26Paolo Greci [64]
27Joshua D. Guttman [75]
28Hristo Koshutanski [46] [47] [70]
29Ruggero Lanotte [10] [30]
30Aliaksandr Lazouski [70]
31Gabriele Lenzini [19] [26] [31] [35] [37]
32Enrico Locatelli [27]
33Andrea Maggiolo-Schettini [10] [30]
34Roberto Marangoni [26]
35Davide Marchignoli [4]
36Fabio Massacci [48]
37Philippe Massonet [63]
38Ilaria Matteucci [53] [54] [56] [62] [64] [69] [71] [73]
39Paolo Mori [33] [40] [46] [47] [57] [58] [59] [62] [63] [66] [70]
40Syed Naqvi [63]
41Marinella Petrocchi [12] [22] [23] [25] [28] [38] [44] [45] [52] [55] [57] [61] [65]
42Francesco Roperti [66]
43Peter Y. A. Ryan (Peter Ryan) [49] [51] [60]
44Pierangela Samarati [74]
45Francesco Santini [67] [68]
46Steve A. Schneider (Steve Schneider) [49] [51] [60]
47Alistair Sinclair [24] [32] [50] [72]
48Ketil Stølen [48]
49Simone Tini [10] [30]
50Enrico Tronci [10] [30]
51Anna Vaccarelli [12] [22] [23] [25] [28] [33] [38] [39] [40] [44] [46] [47] [57] [59] [65]
52Dror Weitz [24] [32] [50]
53William H. Winsborough [48]
54Moti Yung (Mordechai M. Yung) [74]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)