| 2009 |
|---|
| 72 | EE | Pierpaolo 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 |
| 71 | EE | Fabio Martinelli,
Ilaria Matteucci:
Idea: Action Refinement for Security Properties Enforcement.
ESSoS 2009: 37-42 |
| 70 | EE | Roberto Gorrieri,
Fabio Martinelli,
Ilaria Matteucci:
Towards Information Flow Properties for Distributed Systems.
Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009) |
| 2008 |
|---|
| 69 | EE | Fabio Martinelli,
Ilaria Matteucci:
Synthesis of Local Controller Programs for Enforcing Global Security Properties.
ARES 2008: 1120-1127 |
| 68 | EE | Stefano Bistarelli,
Fabio Martinelli,
Francesco Santini:
Weighted Datalog and Levels of Trust.
ARES 2008: 1128-1134 |
| 67 | EE | Stefano Bistarelli,
Fabio Martinelli,
Francesco Santini:
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.
ATC 2008: 481-495 |
| 66 | EE | Alessandro Castrucci,
Fabio Martinelli,
Paolo Mori,
Francesco Roperti:
Enhancing Java ME Security Support with Resource Usage Monitoring.
ICICS 2008: 256-266 |
| 65 | EE | Stefano Campanelli,
Alessandro Falleni,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Mobile Implementation and Formal Verification of an e-Voting System.
ICIW 2008: 476-481 |
| 64 | EE | Paolo Greci,
Fabio Martinelli,
Ilaria Matteucci:
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.
ISoLA 2008: 221-236 |
| 63 | EE | Syed 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 |
| 62 | EE | Benjamin Aziz,
Alvaro Arenas,
Fabio Martinelli,
Ilaria Matteucci,
Paolo Mori:
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies.
TrustBus 2008: 100-117 |
| 61 | EE | Roberto 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 |
| 59 | EE | Maurizio Colombo,
Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Extending the Globus Architecture with Role-Based Trust Management.
EUROCAST 2007: 448-456 |
| 58 | EE | Fabio Martinelli,
Paolo Mori:
Enhancing Java Security with History Based Access Control.
FOSAD 2007: 135-159 |
| 57 | EE | Maurizio 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 |
| 56 | EE | Fabio Martinelli,
Ilaria Matteucci:
Synthesis of Web Services Orchestrators in a Timed Setting.
WS-FM 2007: 124-138 |
| 55 | EE | Fabio Martinelli,
Marinella Petrocchi:
On Relating and Integrating Two Trust Management Frameworks.
Electr. Notes Theor. Comput. Sci. 168: 191-205 (2007) |
| 54 | EE | Fabio Martinelli,
Ilaria Matteucci:
An Approach for the Specification, Verification and Synthesis of Secure Systems.
Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007) |
| 53 | EE | Fabio Martinelli,
Ilaria Matteucci:
Through Modeling to Synthesis of Security Automata.
Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007) |
| 52 | EE | Fabio 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) |
| 51 | EE | Theodosis Dimitrakos,
Fabio Martinelli,
Peter Y. A. Ryan,
Steve Schneider:
Guest Editors' Preface.
Int. J. Inf. Sec. 6(2-3): 65-66 (2007) |
| 50 | EE | Fabio 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 |
| 47 | EE | Hristo Koshutanski,
Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services.
ICAS 2006: 34 |
| 46 | EE | Hristo 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 |
| 45 | EE | Roberto 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) |
| 44 | EE | Fabio 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 |
| 41 | EE | Fabio Martinelli:
Towards an Integrated Formal Analysis for Security and Trust.
FMOODS 2005: 115-130 |
| 40 | EE | Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Towards Continuous Usage Control on Grid Computational Services.
ICAS/ICNS 2005: 82 |
| 39 | EE | Fabio Dianda,
Filippo Giuntini,
Fabio Martinelli,
Anna Vaccarelli:
A Flexible Framework for Access Control Based on Ability Authentication.
SAINT Workshops 2005: 106-109 |
| 38 | EE | Fabrizio 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) |
| 37 | EE | Stefania 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) |
| 36 | EE | Nadia 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) |
| 34 | EE | Roberto Gorrieri,
Fabio Martinelli:
Theoretical foundations of security analysis and design II.
Theor. Comput. Sci. 340(1): 1-2 (2005) |
| 2004 |
|---|
| 33 | EE | Fabrizio Baiardi,
Fabio Martinelli,
Paolo Mori,
Anna Vaccarelli:
Improving Grid Services Security with Fine Grain Policies.
OTM Workshops 2004: 123-134 |
| 32 | EE | Fabio Martinelli,
Alistair Sinclair,
Dror Weitz:
Fast mixing for independent sets, colorings and other models on trees.
SODA 2004: 456-465 |
| 31 | EE | Stefania Gnesi,
Gabriele Lenzini,
Fabio Martinelli:
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability.
Electr. Notes Theor. Comput. Sci. 99: 111-126 (2004) |
| 30 | EE | Roberto 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) |
| 29 | EE | Roberto 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 |
|---|
| 28 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols.
ACSD 2003: 142-149 |
| 27 | EE | Roberto Gorrieri,
Enrico Locatelli,
Fabio Martinelli:
A Simple Language for Real-Time Cryptographic Protocol Analysis.
ESOP 2003: 114-128 |
| 26 | EE | Stefano Bistarelli,
Iliano Cervesato,
Gabriele Lenzini,
Roberto Marangoni,
Fabio Martinelli:
On Representing Biological Systems through Multiset Rewriting.
EUROCAST 2003: 415-426 |
| 25 | EE | Roberto Gorrieri,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.
FMOODS 2003: 139-154 |
| 24 | EE | Fabio Martinelli,
Alistair Sinclair,
Dror Weitz:
The Ising Model on Trees: Boundary Conditions and Mixing Time.
FOCS 2003: 628-639 |
| 23 | EE | Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
ICTCS 2003: 383-396 |
| 22 | EE | Fabrizio Baiardi,
Alessandro Falleni,
Riccardo Granchi,
Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
SEAS: A Secure E-Voting Applet System.
ISSS 2003: 318-329 |
| 21 | EE | Roberto Gorrieri,
Fabio Martinelli:
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.
MFCS 2003: 46-67 |
| 20 | EE | Fabio Martinelli:
Symbolic Partial Model Checking for Security Analysis.
MMM-ACNS 2003: 122-134 |
| 19 | EE | Stefano Bistarelli,
Iliano Cervesato,
Gabriele Lenzini,
Fabio Martinelli:
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.
MMM-ACNS 2003: 86-99 |
| 18 | EE | Giampaolo Bella,
Stefano Bistarelli,
Fabio Martinelli:
Biometrics to Enhance Smartcard Security.
Security Protocols Workshop 2003: 324-332 |
| 17 | EE | Fabio 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 |
|---|
| 14 | EE | Riccardo 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 |
| 12 | EE | Fabio Martinelli,
Marinella Petrocchi,
Anna Vaccarelli:
Automated Analysis of Some Security Mechanisms of SCEP.
ISC 2002: 414-427 |
| 11 | EE | Fabio Martinelli:
Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems.
MFCS 2002: 519-531 |
| 2001 |
|---|
| 10 | EE | Riccardo 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) |
| 9 | EE | Chiara 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 |
|---|
| 8 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Message Authentication through Non Interference.
AMAST 2000: 258-272 |
| 7 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra.
CSFW 2000: 170-184 |
| 6 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Non Interference for the Analysis of Cryptographic Protocols.
ICALP 2000: 354-372 |
| 5 | EE | Riccardo Focardi,
Roberto Gorrieri,
Fabio Martinelli:
Secrecy in Security Protocols as Non Interference.
Electr. Notes Theor. Comput. Sci. 32: (2000) |
| 1999 |
|---|
| 4 | EE | Davide Marchignoli,
Fabio Martinelli:
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques.
TACAS 1999: 148-162 |
| 3 | EE | Riccardo Focardi,
Fabio Martinelli:
A Uniform Approach for the Definition of Security Properties.
World Congress on Formal Methods 1999: 794-813 |
| 1998 |
|---|
| 2 | EE | Fabio Martinelli:
Partial Model Checking and Theorem Proving for Ensuring Security Properties.
CSFW 1998: 44-52 |
| 1 | EE | Fabio Martinelli:
An Improvement of Algorithms for Solving Interface Equations.
Inf. Process. Lett. 67(4): 185-190 (1998) |
