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) |