Produzione Scientifica Fabio Massacci


  • L. Allodi, F. Massacci, "A Preliminary Analysis of Vulnerability Scores for Attacks in Wild" in Proceedings of the 2012 ACM Workshop on Building analysis datasets and gathering experience returns for security , NY: ACM, 2012, p. 17-24. - ISBN: 9781450316613. Atti di: BADGERS 2012, RALEIGHT (USA), 16-18 OCTOBER. - DOI: 10.1145/2382416.2382427 - vedi dettaglio
  • G. Bergmann, F. Massacci, F. Paci, T.T. Tun, D. Varro, Y.Yu , "A Tool for Managing Evolving Security Requirements " in Nurcan, Selmin (a cura di), IS Olympics: Information Systems in a Diverse World IS Olympics: Information Systems in a Diverse World, Berlin: Springer Verlag, 2012, p. 110-125. - (Lecture Notes in Business Information Processing; 107). - ISBN: 9783642297489. - URL: http://www.springer.com/business+%26+management/business+information+systems/book/978-3-642-29748-9 . - DOI: 10.1007/978-3-642-29749-6 - vedi dettaglio
  • V. Nguyen, F. Massacci, "An Idea of an Independent Validation of Vulnerability Discovery Models" in Engineering Secure Software and Systems, Berlin: Berlin: Springer Verlag Germany; Darmstadt: Steinkopff., 2012, p. 89-96. - ISBN: 9783642281662. Atti di: ESSOS 2012, 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands , February, 16-17, 2012. - DOI: 10.1007/978-3-642-28166-2_9 - vedi dettaglio
  • V. Nguyen, F. Massacci, "An Independent Validation of Vulnerability Discovery Models" in ASIACCS, USA: ACM, 2012, p. 6-7. - ISBN: 9781450316484. Atti di: ASIACCS '12, Seoul, Korea, May 2-4, 2012. - DOI: 10.1145/2414456.2414459 - vedi dettaglio
  • J. Baik, F. Massacci, M. Zulkernine, "Guest Editorial: Special Section on Software Reliability and Security" in INFORMATION AND SOFTWARE TECHNOLOGY, v. 54, (2012), p. 1297-1454. - DOI: 10.1234/12345678 - vedi dettaglio
  • F. Massacci, F. Paci, "How to Select a Security Requirements Method? A Comparative Study with Students and Practitioners" in Secure IT Systems, Berlin: Springer Berlin/Heidelberg, 2012, p. 89-104. - ISBN: 9783642342103. Atti di: 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, 2012. - DOI: 10.1007/978-3-642-34210-3_7 - vedi dettaglio
  • N. Bielova, F. Massacci, "Iterative enforcement by suppression: Towards practical enforcement theories" in JOURNAL OF COMPUTER SECURITY, v. 20, n. 1 (2012), p. 51-79. - DOI: 10.3233/JCS-2011-0431 - vedi dettaglio
  • O. Gadyatskaya, F. Massacci, F. Paci, S. Stankevich, "Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications" in Information Security Technology for Applications, Berlin: Springer Berlin/Heidelberg, 2012, p. 187-192. - ISBN: 9783642279362. Atti di: 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espo, October 27-29, 2010. - DOI: 10.1007/978-3-642-27937-9_13 - vedi dettaglio
  • F. Paci, F. Massacci, F. Bouquet, S. Debricon, "Managing Evolution by Orchestrating Requirements and Testing Engineering Processes" in Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on, NY: ACM/IEEE, 2012, p. 834-841. - ISBN: 9780769546704. Atti di: Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on, MONTREAL, 17-21 April 2012. - DOI: 10.1109/ICST.2012.184 - vedi dettaglio
  • O. Gadyatskaya, F. Massacci, A. Philippov, "Security-by-Contract for the OSGi platform" in Information Security and Privacy Research - 27th IFIP TC 11 Information Security and Privacy Conference, Boston: Springer Boston, 2012, p. 364-375. - ISBN: 9783642304354. Atti di: SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012. - DOI: 10.1007/978-3-642-30436-1 - vedi dettaglio
  • N. Dragoni, E. Lostal, O. Gadyatskaya, F. Massacci, F. Paci, "A Load Time Policy Checker for Open Multi-application Smart Cards" in POLICY, New York: IEEE, 2011, p. 153-156. - ISBN: 9781424498796. Atti di: POLICY, Pisa, 6-8 June. - URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5976786 . - DOI: 10.1109/POLICY.2011.40 - vedi dettaglio
  • G. Bergmann, F. Massacci, F. Paci, T.T. Tun, D. Varro, Y.Yu, "A Tool for Managing Evolving Security Requirements" in CAiSE Forum 2011, Berlin: CEUR-WS.org, 2011, p. 49-56 -(CEUR Workshop Proceedings; 734). Atti di: CAiSE Forum, London, June 22-24 - vedi dettaglio
  • F. Massacci, S. Neuhaus, V. Hung Nguyen, "After-Life Vulnerabilities: A Study on Firefox Evolution, Its Vulnerabilities, and Fixes" in ESSoS, Berlin: Springer, 2011, p. 195-208 -(LNCS; 6542). - ISBN: 9783642191244. Atti di: ESSoS, MADRID, February 9-10, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-19125-1_15 . - DOI: 10.1007/978-3-642-19125-1_15 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, F. Paci, T. T. Tun, Yijun Yu, "An Extended Ontology for Security Requirements" in CAiSE Workshops, Berlin: Springer, 2011, p. 622-636 -(LNCS; 83). Atti di: CAiSE Workshops, London, June 20-24, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-22056-2_64 . - DOI: 10.1007/978-3-642-22056-2_64 - vedi dettaglio
  • Y. Asnar, T. Li, F. Massacci, F. Paci, "Computer Aided Threat Identification" in CEC, New York: IEEE, 2011, p. 145-152. - ISBN: 9781457715426. Atti di: CEC 2011, Luxembourg-Kirchberg, September 5-7. - URL: http://doi.ieeecomputersociety.org/10.1109/CEC.2011.13 . - DOI: 10.1109/CEC.2011.13 - vedi dettaglio
  • N. Bielova, F. Massacci, "Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies" in POLICY, New York: IEEE, 2011, p. 89-96. - ISBN: 9780769543307. Atti di: POLICY 2011, Pisa, 6-8 June 2011. - URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5976786 . - DOI: 10.1109/POLICY.2011.41 - vedi dettaglio
  • L.M. Sang, F. Massacci, "Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution" in CAiSE, Berlin: Springer, 2011, p. 62-76 -(6LNCS; 6741). - ISBN: 9783642216398. Atti di: CAiSE, London, June 20-24, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-21640-4_7 - vedi dettaglio
  • F. Massacci, N. Zannone, "Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank" in E. Yu, P. Giorgini, N. Maiden, J. Mylopoulos (a cura di), Social Modeling for Requirements Engineering, Chicago: MIT Press, 2011, p. 337-362. - ISBN: 9780262240550 - vedi dettaglio
  • N. Bielova, F. Massacci, "Do you really mean what you actually enforced? - Edited automata revisited" in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, n.s., v. volume 10, n. number 4 (2011), p. 239-254. - DOI: 10.1007/s10207-011-0137-2 - vedi dettaglio
  • W. Joosen, Javier Lopez, F. Martinelli, F. Massacci, "Engineering Secure Future Internet Services" in Future Internet Assembly, Berlin: Springer, 2011, p. 177-192 -(LNCS; 6656). - ISBN: 9783642208973. Atti di: FI 2011, POZNAN, 24-28 OCTOBER. - URL: http://dx.doi.org/10.1007/978-3-642-20898-0_13 . - DOI: 10.1007/978-3-642-20898-0_13 - vedi dettaglio
  • O. Gadyatskaya, E. Lostal, F. Massacci, "Load Time Security Verification" in ICISS, Berlin: Springer, 2011, p. 250-264 -(LNCS; 7093). - ISBN: 9783642255595. Atti di: ICISS 2011, Kolkata, India, December 15-19, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-25560-1_17 . - DOI: 10.1007/978-3-642-25560-1_17 - vedi dettaglio
  • F. Massacci, F. Bouquet, E. Fourneret, J. Jurjens, M. S. Lund, S. Madelénat, J. T. Muehlberg, F. Paci, S. Paul, F. Piessens, "Orchestrating Security and System Engineering for Evolving Systems" in ServiceWave, Berlin: Springer, 2011, p. 134-143 -(LNCS; 6994). - ISBN: 9783642247545. Atti di: ServiceWave 2011, Poznan, October 26-28, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-24755-2 . - DOI: 10.1007/978-3-642-24755-2 - vedi dettaglio
  • Y. Asnar, F. Massacci, A. Saidane, C. Riccucci, M. Felici, A. Tedeschi, P. El Khoury, K. Li, M. Seguran, N. Zannone, "Organizational Patterns for Security and Dependability: From Design to Application." in INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING, n.s., v. vol. 2, n. no. 3 (2011), p. 1-22. - URL: http://dx.doi.org/10.4018/jsse.2011070101 . - DOI: 10.4018/jsse.2011070101 - vedi dettaglio
  • N. Bielova, F. Massacci, "Predictability of Enforcement" in ESSoS, Berlin: Springer, 2011, p. 73-86 -(LNCS; 6542). - ISBN: 9783642191244. Atti di: ESSoS 2011, Madrid, February 9-10, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-19125-1_6 . - DOI: 10.1007/978-3-642-19125-1_6 - vedi dettaglio
  • N. Bielova, D. Devriese, F. Massacci, F. Piessens, "Reactive non-interference for a browser model" in NSS, New York: IEEE, 2011, p. 97-104. - ISBN: 9781457704581. Atti di: NSS-2011, Milano, September 6-8, 2011. - URL: http://dx.doi.org/10.1109/ICNSS.2011.6059965 . - DOI: 10.1109/ICNSS.2011.6059965 - vedi dettaglio
  • G. Bergmann, F. Massacci, F. Paci, T. T. Tun, D. Varro, Y. Yu, "SeCMER: A Tool to Gain Control of Security Requirements Evolution" in ServiceWave, Berlin: Springer, 2011, p. 321-322 -(LNCS; 6994). - ISBN: 9783642247545. Atti di: ServiceWave 2011, Poznan, October 26-28, 2011. - URL: http://dx.doi.org/10.1007/978-3-642-24755-2 . - DOI: 10.1007/978-3-642-24755-2 - vedi dettaglio
  • L. Compagna, P. El Khoury, F. Massacci, A. Saidane, "A Dynamic Security Framework for Ambient Intelligent Systems: A smart-Home Based eHealth Application" in LECTURE NOTES IN COMPUTER SCIENCE, v. 6340, (2010), p. 1-24. - DOI: 10.1007/978-3-642-17499-5_1 - vedi dettaglio
  • N. Dragoni, O. Gadyatskaya, F. Massacci, "Can we support applications' evolution in multi-application smart cards by security-by-contract?" in LECTURE NOTES IN COMPUTER SCIENCE, v. 6033, (2010), p. 221-228. - DOI: 10.1007/978-3-642-12368-9_16 - vedi dettaglio
  • F. Massacci, D. Wallach, N. Zannone (a cura di), "Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010: Proceedings", Berlin: Springer-Verlag, 2010. - (LNCS; 5965). - ISBN: 9783642117466. - DOI: 10.1007/978-3-642-11747-3 - vedi dettaglio
  • F. Massacci, D. Wallach, F. Martinelli, "Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010: Proceedings: Preface" in F. Massacci, D. Wallach, F. Martinelli (a cura di), Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010: Proceedings, Berlin-Heidelberg, NY: Springer- Verlag, 2010, p. 5-6. - (LNCS; vol. 5965). - ISBN: 9783642117466. - DOI: 10.1007/978-3-642-11747-3 - vedi dettaglio
  • G. Karsai, F. Massacci, L.J. Osterweil, I. Schieferdecker, "Evolving Embedded Systems" in COMPUTER, v. Vol. 43, n. no. 5 (2010), p. 34-40 - vedi dettaglio
  • G. Costa, N. Dragoni, A. Lazouski, F. Martinelli, F. Massacci, I. Matteucci, "Extending Security-by-Contract with Quantitative Trust on Mobile Devices" in 2010 International Conference on Complex, Intelligent and Software Intensive Systems: CISIS 2010, Piscataway, NJ: IEEE, 2010, p. 872-877. - ISBN: 9780769539676. Atti di: CISIS 2010, Krakow, 15th-18th February 2010. - DOI: 10.1109/CISIS.2010.33 - vedi dettaglio
  • J. Camenisch, J. Lopez, F. Massacci, M. Ciscato, T. Skordas, "JCS special issue on EU-funded ICT research on Trust and Security" in JOURNAL OF COMPUTER SECURITY, v. vol. 18, n. no. 1 (2010), p. 1-5. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-71749106354&partnerID=40&md5=9371caab7d8966f02bf72269cb20d9d0 . - DOI: 10.3233/JCS-2010-0375 - vedi dettaglio
  • R. Scandariato, F. Massacci, "SecureChange: Security engineering for lifelong evolvable systems" in LECTURE NOTES IN COMPUTER SCIENCE, v. 6416, (2010), p. 9-12. - DOI: 10.1007/978-3-642-16561-0_3 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "Security requirements engineering: The si*modeling language and the Secure Tropos methodology" in Advances in Intelligent Information Systems, Berlin ; Heidelberg: Springer, 2010, p. 147-174. - (Studies in Computational Intelligence; 265). - DOI: 10.1007/978-3-642-05183-8_6 - vedi dettaglio
  • F. Massacci, V.N. Nguyen, "Which is the right source for vulnerability studies?: An empirical analysis on Mozilla Firefox" in MetriSec '10: Proceedings of the 6th International Workshop on Security Measurements and Metrics, New York, NY: ACM, 2010, p. [1-8]. - ISBN: 9781450303408. Atti di: METRISEC 2010, Bolzano, 16th-17th September 2010. - DOI: 10.1145/1853919.1853925 - vedi dettaglio
  • N. Dragoni, F. Massacci, A. Saïdane, "A self-protecting and self-healing framework for negotiating services and trust in autonomic communication systems." in COMPUTER NETWORKS, v. 28, n. 28 (2009), p. 1628-1648. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 67349208148&partnerID=40&md5=4421864707a4c8fdb65e19065cae3083 . - DOI: DOI: 10.1016/j.comnet.2008.07.016 - vedi dettaglio
  • N. Bielova, F. Massacci, "Do you really mean what you actually enforced? EDIT AUTOMATA REVISITED" in Formal Aspects in Security and Trust, Berlin: Springer 2009, 2009, p. 287-301 -(LNCS; 5491). Atti di: FAST’08, SAN JOSE, February 2009 - vedi dettaglio
  • F. Massacci, S. Redwine, N. Zannone (a cura di), "Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009: Proceedings", Berlin: Springer Verlag, 2009 - vedi dettaglio
  • G.M. Kuper, F. Massacci, N. Rasadka, "Generalized XML Security Views" in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, v. 8, n. 3 (2009), p. 173-203. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 67349181381&partnerID=40&md5=c5cc1c4bdb9da7bbc0aa9003cd3039b7 - vedi dettaglio
  • H.A. López, F. Massacci, N. Zannone, "Goal-equivalent secure business process re-engineering" in Service-oriented Computing ICSOC 2007 International Workshops, Berlin, Heidelberg, NY.: Springer-Verlag, 2009, p. 212-223 -(LNCS; Vol. 4907). - ISBN: 9783540938507. Atti di: ICSOC 2007, Vienna, 17th september 2007. - DOI: 10.1007/978-3-540-93851-4_21 - vedi dettaglio
  • G. Gheorghe, F. Massacci, S. Neuhaus, A. Pretschner, "GoCoMM: A governance and compliance maturity model" in Proceedings of the ACM Conference on Computer and Communications Security, New York: ACM, 2009, p. 33-37. - ISBN: 9781605587875. Atti di: CCS, CHICAGO, November 9-13. - DOI: 10.1145/1655168.1655175 - vedi dettaglio
  • A. Krausova, F. Massacci, A. Saidane, "How to capture and use legal patterns in IT" in Proceedings of the 12th International Conference on Artificial Intelligence and Law, Boston: ACM Press, 2009, p. 228-229. Atti di: ICAIL 09, Barcelona, JUNE 2009. - DOI: 10.1145/1568234.1568267 - vedi dettaglio
  • L. Compagna, P. El Khoury, A. Krausová, F. Massacci, N. Zannone, "How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns" in ARTIFICIAL INTELLIGENCE AND LAW, v. 17.1, n. 1 (2009), p. 1-30. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 58849148475&partnerID=40&md5=a963e843e71f411b7fd99d5755f793df - vedi dettaglio
  • A. Krausova, F. Massacci, A. Saidane, "Legal patterns implement trust in IT requirements: When legal means are the "best" implementation of IT technical goals" in 2nd International Workshop on Requirements Engineering and Law, New York: IEEE, 2009, p. 33-38. - ISBN: 9781424476961. Atti di: RELAW 2009, ATLANTA, September 2009. - DOI: 10.1109/RELAW.2009.7 - vedi dettaglio
  • F. Massacci, G. Tsudik, A. Yautsiukhin, "Logging key assurance indicators in business processes." in Proc. of ASIACCS’09, New York: ACM Press, 2009, 2009, p. 364-367. Atti di: ASIACC 09, Sisney, March 2009 - vedi dettaglio
  • N. Bielova, N. Dragoni, F. Massacci, K. Naliukaa, I. Siahaana, "Matching in security-by-contract for mobile code" in JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, v. 78, n. 5 (2009), p. 340-358. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 67349233081&partnerID=40&md5=34c2226a336c7a02f08bb945eaebcf4c . - DOI: 10.1016/j.jlap.2009.02.013 - vedi dettaglio
  • F. Massacci, V.H. Nguyen, A. Saidane, "No purpose, no data: Goal-oriented access control forambient assisted living" in Proceedings of the ACM Conference on Computer and Communications Security, New York: ACM, 2009, p. 53-57. - ISBN: 9781605587905. Atti di: CCS 2009, CHICAGO, November 09 - 13, 2009 . - DOI: 10.1145/1655084.1655093 - vedi dettaglio
  • Y. Asnar, M. Felici, F. Massacci, A. Tedeschi, A. Yautsiukhin, "Quantitative assessment for organisational security & dependability" in Proc. of DEPEND 2009, Chicago: International Journal on Advanced Security, 2009, p. 40-45. Atti di: DEPEND 2009, Athens, 18th-23th June. - DOI: 10.1109/DEPEND.2009.12 - vedi dettaglio
  • D.Marino, F. Massacci, A. Micheletti, N. Rassadko, S. Neuhaus, "Satisfaction of control objectives by control processes" in LECTURE NOTES IN COMPUTER SCIENCE, v. 2009, n. 5900 (2009), p. 531-545. - DOI: 10.1007/978-3-642-10383-4_39 - vedi dettaglio
  • D. Marino, F. Massacci, A. Micheletti, N. Rasadka, S. Neuhaus, "Satisfaction of Control Objectives by Control Processes" in Proc. of ICSOC/ServiceWave’09., New York (N.Y.): ACM Press, 2009, p. 531-545 -(LNCS; 5900). Atti di: ICSOC09, Stoccolma, November 2009. - URL: 3642103820 - vedi dettaglio
  • F. Massacci, F. Piessens, I Siahaan, "Security-by-contract for the future internet" in Proc. of FIS’09, Berlin: Springer 2009, 2009, p. 29-34. Atti di: FIS’09, Berlin, September 2009 - vedi dettaglio
  • F. Massacci, F. Piessens, I Siahaan, "Security-by-contract for the future internet" in LECTURE NOTES IN COMPUTER SCIENCE, v. 2009, (2009), p. 29-43. - DOI: 10.1007/978-3-642-00985-3_3 - vedi dettaglio
  • L. Desmet, W. Joosen, F. Massacci, K. Naliuka, P. Philippaerts, F. Piessens, D. Vanoverberghe, "The S3MS.NET Run Time Monitor: Tool Demonstration" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 253, n. 5 (2009), p. 153-159. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 71649111935&partnerID=40&md5=1b11dd08214f939e41e219dfaac8e452 . - DOI: 10.1016/j.entcs.2009.11.021 - vedi dettaglio
  • N. Bielova, F. Massacci, A. Micheletti, "Towards Practical Enforcement Theories" in Identity and Privacy in the Internet Age, Berlin: Springer, 2009, p. 239-254. Atti di: NORDSEC09, Oslo, October 2009 - vedi dettaglio
  • N. Dragoni, F. Massacci, T. Walter, C. Schaefer, "What the Heck is this application doing? - A securityby- contract architecture for pervasive services" in COMPUTERS & SECURITY, v. 53, n. 28.7 (2009), p. 566-577. - DOI: 10.1016/j.cose.2009.06.005 - vedi dettaglio
  • F. Massacci, N. Zannone, "A Model-Driven Approach for the Specification and Analysis of Access Control Policies" in OTM Conferences (2) 2008, Berlin: Springer Verlag, 2008, p. 1087-1103 -(LNCS; 5332). - ISBN: 9783540888727. Atti di: Springer, Monterrey, 11-14 November 2008. - URL: http://www.springerlink.com/content/g5385n2558l5355p/ . - DOI: 10.1007/978-3-540-88873-4_11 - vedi dettaglio
  • N. Dragoni, F. Massacci, K. Naliuka, "An inline monitoring system for .NET mobile devices." in Trust Management II, Berlin: Springer, 2008, p. 363-366. - ISBN: 9780387094274. Atti di: IFPTM 08, Trondheim, 18th-20th June - vedi dettaglio
  • H. A. Lopez Acosta, F. Massacci, N. Zannone, "Goal-Equivalent Business Process Re-engineering" in In Proc. of the Workshops of the Fifth International Conference of Service Oriented Computing (ICSOC), Berlin: Springer Berlin / Heidelberg, 2008. Atti di: 2nd International SeMSoC Workshop – Business Oriented Aspects concerning Semantics and Methodologies in Service-oriented Computing (SeMSoC), Vienna, Austria, 17/09/2007. - URL: http://sysedv.tu-berlin.de/Homepage/SYSEDV.nsf?Open&ID=8219EAD9175B5E7EC12573010034F9EF&Key=&Sel=&La - vedi dettaglio
  • F. Massacci, H. Koshutanski, "Interactive access control for autonomic systems: From theory to implementation" in ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, v. 3, n. 3 (2008), p. 1-31. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 49549085763&partnerID=40&md5=38f8576ef60c93e7ddb6aa446402cbd7 . - DOI: 10.1145/1380422.1380424 - vedi dettaglio
  • A. Aggarwal, M. Badra, F. Massacci (a cura di), "New Technologies, Mobility and Security: 2008 NTMS'08", Chicago: IEEE Press, 2008. - ISBN: 9782953244304. - DOI: 10.1109/NTMS.2008.ECP.3 - vedi dettaglio
  • F. Massacci, F. Piessens, "Preface" in F. Massacci, F. Piessens (a cura di), Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007): Dresden, Germany 27 September 2007, Amsterdam: Elsevier, 2008, p. 1-2. - (Electronic Notes Theoretical Computer Science; 197.1). - DOI: 10.1016/j.entcs.2007.11.007 - vedi dettaglio
  • L. Compagna, V. Lotz, F. Massacci, "Preface" in Proceedings of the 3rd International Workshop on Security and Trust Management (STM 2007): Dresden, Germany 27 September 2007, Amsterdam: Elsevier , 2008, p. 1-2. - (Electronic Notes Theoretical Computer Science; 197.2). - DOI: 10.1016/j.entcs.2008.01.001 - vedi dettaglio
  • F. Massacci, F. Piessens, S. Mauw, "Preface" in SCIENCE OF COMPUTER PROGRAMMING, v. 74, n. 1-2 (2008), p. 1-1. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 56349125203&partnerID=40&md5=4b396300d9dfb277ab4b1462b6950d1c . - DOI: 10.1016/j.scico.2008.09.002 - vedi dettaglio
  • F. Massacci, A. Benameur, N. Rasadka, "Security views for outsourced business processes" in Proceedings of the 5th ACM Workshop On Secure Web Services, SWS 2008, Alexandria, VA, USA, October 31, 2008. ACM 2008, CHICAGO: ACM PRESS, 2008, p. 45-52. Atti di: SWS 2008, Alexandria, Va, 2008. - DOI: 10.1145/1456492.1456500 - vedi dettaglio
  • L. Desmet, W. Joosen, F. Massacci, P. Philippserts, F. Piessens, I. Siahaan, D. Vanoverberghe, "Securityby- contract on the .NET platform." in INFORMATION SECURITY TECHNICAL REPORT, v. 13, n. 13.1 (2008), p. 25-32. - DOI: 10.1016/j.istr.2008.02.001 - vedi dettaglio
  • N. Dragoni, F. Martinelli, F. Massacci, P. Mori, C. Schaefer, T. Walter, E. Vetillard, "Security-by- Contract (SxC) for Software and Services of Mobile Systems" in At Your Service – Selected Papers on EU research on Software and Services, Chicago: MIT Press, 2008, p. 49-54. - ISBN: 0769528635. Atti di: SecPerU 2007, Instambul, 19th July. - DOI: 10.1109/SECPERU.2007.2 - vedi dettaglio
  • F. Massacci, R.I. S. Siahaan, "Simulating midlet's security claims with automata modulo theory" in Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, New York, N.Y.: ACM, 2008, p. 1-9. Atti di: PLAS 2008, Tucson, Az., 8th June 2008. - DOI: 10.1145/1375696.1375698 - vedi dettaglio
  • F. Massacci, K. Naliuka, "Towards Practical Security Monitors of UML Policies for Mobile Applications" in 3rd International Conference on Availability, Security, and Reliability, Proceedings, CHICAGO: IEEE, 2008, p. 1112-1119. Atti di: ARES 2008, Barcelona, 4th-7th March 2008. - DOI: 10.1109/ARES.2008.191 - vedi dettaglio
  • L. Desmet, W. Joosen, F. Massacci, K. Naliuka, P. Philippaerts, F. Piessens, D. Vanoverberghe, "A Flexible Security Architecture to Support Third-party Applications on Mobile Devices." in Proceedings of the 2007 ACM workshop on Computer Security Architecture, Chicago: ACM, 2007, p. 19-28. Atti di: CSAW '07, Fairfax, VA, 2nd November 2007 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "A negotiation scheme for access rights establishment in autonomic communication" in JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, v. 15, n. 1 (2007), p. 117-136. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 33947544647&partnerID=40&md5=ea2c619a6004cd2bdbf859ced0975604 . - DOI: 10.1007/s10922-006-9057-2 - vedi dettaglio
  • N. Dragoni, F. Massacci, C. Schaefer, T. Walter, E. Vetillar, "A Security-by-Contracts Architecture for Pervasive Services" in Third International Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing: SecPerU 2007: Proceedings, Piscataway, NJ: IEEE, 2007, p. 49-54. Atti di: SECPerU’07, Istanbul, 19th July 2007 - vedi dettaglio
  • A. Yautsiukhin, F. Massacci, "An Algorithm for the Appraisal of Assurance Indicators for Complex Business Processes" in Proceedings of the The Third Workshop on Quality of Protection, New York: ACM PRESS, 2007, p. 22-27. - ISBN: 9781595938855. Atti di: QoP 2007, Alexandria (VA), 29th October 2007. - URL: http://dit.unitn.it/~qop/ . - DOI: 10.1145/1314257.1314265 - vedi dettaglio
  • F. Massacci, N. Zannone, J. Mylopoulos, "An Ontology for Secure Socio-Technical Systems" in Handbook of Ontologies for Business Interaction, Pennsylvania: IGI Global, 2007, p. 188-206 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "An Ontology for Secure Socio-Technical Systems" in Handbook of Ontologies for Business Interaction, USA: Idea Group Inc., 2007, p. 188-206 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "Computer-aided Support for Secure Tropos" in AUTOMATED SOFTWARE ENGINEERING, v. 14, n. 14.3 (2007), p. 341-364 - vedi dettaglio
  • P. Guarda, F. Massacci, N. Zannone, "E-Government and On-line Services: Security and Legal Patterns" in Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government, Camerino: Halley Informatica S.r.l., 2007, p. 29. - ISBN: 9788875893002. Atti di: MeTTeG07, Camerino, 27-28 September 2007 - vedi dettaglio
  • G. Frankova, F. Massacci, M. Seguran, "From Early Requirements Analysis towards Secure Workflows" in Trust Management: Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada, New York: Springer, 2007, p. 407-410 -(IFIP International Federation for Information Processing; 238). - ISBN: 9780387736549. Atti di: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, Moncton, New Brunswick, 30th July-2 August 2007. - URL: http://www.springerlink.com/content/e26kv4rkn463l605/ . - DOI: 10.1007/978-0-387-73655-6 28 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "From Hippocratic Databases to Secure Tropos: A Computer-Aided Re-engineering Approach" in INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, v. 2007, (2007), p. 265-284 - vedi dettaglio
  • W.Y. D. Asnar, P. Giorgini, F. Massacci, N. Zannone, "From Trust to Dependability through Risk Analysis" in the Second International Conference on Availability, Reliability and Security: ares 2007: Proceedings, Piscataway, NJ: IEEE, 2007, p. 19-26. - ISBN: 9780769527758. Atti di: ARES 2007, Vienna, 10th-13th April 2007. - DOI: 10.1109/ARES.2007.93 - vedi dettaglio
  • L. Compagna, P. El Khoury, F. Massacci, R. Thomas, N. Zannone, "How to capture, communicate, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach" in 11th International Conference on Artificial Intelligence and Law: ICAIL 2007, New York, NY: ACM Press, 2007, p. 149-154. - ISBN: 9781595936806. Atti di: ICAIL 2007, Stanford University, Palo Alto (CA), 4th-8th June 2007 - vedi dettaglio
  • K. Koshutanski, F. Massacci, "Interactive Access Control with Trust Negotiation for Autonomic Communication" in Advances in Enterprise Information Technology Security, Pennsylvania: IGI Global, 2007, p. 120-148. - DOI: 10.1145/1380422.1380424 - vedi dettaglio
  • F. Massacci, R.I. S. Siahaan, "Matching Midlet's Security Claims with a Platform Security Policy Using Automata Modulo Theory" in Proceedings of the 12th Nordic Workshop on Secure IT Systems, [S.l.: s.n.], 2007, p. [n.d.]-[n.d.]. Atti di: NordSec 2007, Reykjavík, 11th-12th October 2007. - URL: http://www.ru.is/nordsec2007/ - vedi dettaglio
  • A. Yautsiukhin, F. Massacci, "Modelling of quality of protection in outsourced business processes" in Proceedings of the Third International Symposium on Information Assurance and Security, Washington, DC, USA: IEEE Computer Society Press, 2007, p. 247-252. Atti di: IAS 2007, Manchester, 29th-31st August 2007. - URL: http://ieeexplore.ieee.org/iel5/4299731/4299732/04299782.pdf . - DOI: 10.1109/ISIAS.2007.4299782 - vedi dettaglio
  • L. Compagna, V. Lotz, F. Massacci (a cura di), "Proc. of the ERCIM Security and Trust Management Workshop.(STM’07)", Amsterdam: Elsevier , 2007 - vedi dettaglio
  • W.Y. D. Asnar, P. Giorgini, F. Massacci, A. Saidane, R. Bonato, V. Meduri, C. Riccucci, "Secure and Dependable Patterns in Organizations: An Empirical Approach" in Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, NJ, USA: IEEE Press, 2007, p. 287-292. - ISBN: 9780769529356. Atti di: Requirements Engineering Conference, 2007. RE '07. 15th IEEE International, New Delhi, India, 15th-19th October 2007. - DOI: 10.1109/RE.2007.19 - vedi dettaglio
  • Y. Karabulut, F. Massacci, A. Yautsiukhin, F. Kerschbaum, P. Robinson, "Security and Trust in IT Business Outsourcing: a Manifesto" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 179, n. 179 (2007), p. 47-58. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 34250776507&partnerID=40&md5=18a10ad1eb25ee0745df4513749af06d . - DOI: 10.1016/j.entcs.2006.08.030 - vedi dettaglio
  • A. Mana, C. Rudolph, G. Spanoudakis, V. Lotz, F. Massacci, M. Melideo, J. M. Lopez-cobo, "Security Engineering for Ambient Intelligence: A Manifesto" in H. Mouratidis, P. Giorgini (a cura di), Integrating Security and Software Engineering: advances and future visions, Hershey, Pa.: Idea group, 2007, p. 3676-3690. - ISBN: 1599049376. - URL: http://www.igi-global.com/chapter/security-engineering-ambient-intelligence/23320 . - DOI: 10.4018/978-1-59904-937-3.ch249 - vedi dettaglio
  • N. Dragoni, F. Massacci, K. Naliuka, I. Siahaan, "Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code" in Public Key Infrastructure: 4th European PKI Workshop: Theory and Practice, EuroPKI 2007: Proceedings, Berlin ; Heidelberg: Springer, 2007, p. 297-312 -(Lecture Notes in Computer Science; 4582). - ISBN: 9783540734079. Atti di: EuroPKI 2007, Mallorca, 28th-30th June 2007. - DOI: 10.1007/978-3-540-73408-6_21 - vedi dettaglio
  • S. Etalle, F. Massacci, A. Yautsiukhin, "The meaning of logs" in Trust, Privacy and Security in Digital Business: 4th International Conference, TrustBus 2007: Proceedings, Berlin ; Heidelberg: Springer, 2007, p. 145-154 -(Lecture Notes in Computer Science; 4657). - ISBN: 9783540744085. Atti di: TrustBus 2007, Regensburg, 3rd-7th September 2007. - URL: http://www.icsd.aegean.gr/trustbus07/ . - DOI: 10.1007/978-3-540-74409-2_17 - vedi dettaglio
  • F. Massacci, K. Naliuka, "Towards Practical Security Monitors of UML Policies for Mobile Applications." in Eighth IEEE International Workshop on Policies for Distributed Systems and Networks: Policy 2007: Proceedings, Los Alamitos, CA: IEEE, 2007, p. 278-278. - ISBN: 9780769527673. Atti di: Policy 2007, Bologna, 13th-15th June 2007. - DOI: 10.1109/POLICY.2007.46 - vedi dettaglio
  • A. Pretschner, F. Massacci, M. Hilty, "Usage Control in Service-Oriented Architectures" in Trust, Privacy and Security in Digital Business4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, Berlin: Springer Berlin / Heidelberg, 2007, p. 83-93. - (Lecture Notes in Computer Science; 4657). - ISBN: 9783540744085 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "A Privacy Model to Support Minimal Disclosure in Virtual Organizations" in Proceedings of the W3C Workshop on Languages for Privacy Policy Negotiation and Semantics-Driven Enforcement, [S.l.: s.n.], 2006, p. [n.d.]-[n.d.]. Atti di: W3C-06, Ispra, VA, 17-18 October 2006. - URL: http://www.w3.org/2006/07/privacy-ws/ - vedi dettaglio
  • G. Bella, S. Bistarelli, F. Massacci, "A Protocol’s Life After Attacks" in Security Protocols: 11th International Workshop: Revised Selected Papers, Berlin: Springer, 2006, p. 3-10 -(Lecture Notes in Computer Science; 3364). - ISBN: 9783540283898. Atti di: 11th International Workshop on Security Protocols, Cambridge, 2nd-4th April 2003. - URL: http://www.springerlink.com/content/94674kp6j68p4tfn/fulltext.pdf . - DOI: 10.1007/11542322_2 - vedi dettaglio
  • S. Dobson, S. Denazis, A. Fernandez, D. Gaiti, E. Gelenbe, F. Massacci, P. Nixon, F. Saffre, N. Schmidt, F. Zambonelli, "A survey of autonomic communications" in ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, v. 1, n. 2 (2006), p. 223-259. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 33845547636&partnerID=40&md5=025d69b149806e9c7d38ceba663dbe6e . - DOI: 10.1145/1186778.1186782 - vedi dettaglio
  • V. Bryl, F. Massacci, J. Mylopoulos, N. Zannone, "Designing Security Requirements Models through Planning" in 18th Conference on Advanced Information Systems Engineering, Berlin, Heidelberg: Springer, 2006, p. 33-47 -(LNCS; 4001). - ISBN: 354034652X. Atti di: (CAiSE'06) , Luxembourg, 5th-9th June 2006 - vedi dettaglio
  • F. Massacci, N. Zannone, "Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank" in P. Giorgini, N. Maiden, J. Mylopoulos, E. Yu (a cura di), Social Modeling for Requirements Engineering, Cambridge, Mass. ; London: MIT press, 2006, p. 341-364 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Detecting Conflicts of Interest" in 14th IEEE International Requirements Engineering Conference: RE'06: proceedings, USA: IEEE Computer Society Press, 2006, p. 308-311. - ISBN: 0769525555. Atti di: 14th IEEE International Requirements Engineering Conference, Minneapolis/St. Paul, MN, 11th-15th, September 2006. - URL: http://ieeexplore.ieee.org/iel5/11170/35962/01704085.pdf?isnumber=35962&prod=CNF&arnumber=1704085&arSt=+308&ared=+311&arAuthor= - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach" in INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, n. 17.2 (2006), p. 265-284. - DOI: 10.1142/S0218194007003239 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations" in VLDB JOURNAL, v. 15, n. 4 (2006), p. 370-387. - URL: http://www.springerlink.com/content/6885442330n7874m/ . - DOI: 10.1007/s00778-006-0009-y - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "Minimal disclosure in hierarchical hippocratic databases for virtual organizations " in Proceedings of the 10th European Symposium on Research in Computer Security, Berlin: Springer, 2006, p. 370-387. Atti di: ESORICS 2005, Milan (Italy), 12th-14th September 2005 - vedi dettaglio
  • F. Massacci, N. Zannone, "Privacy is linking permission to purpose" in Security Protocols: 12th International Workshop, Cambridge: Revised Selected Papers, BERLIN: Springer, 2006, p. 179-194 -(Lecture Notes in Computer Science; 3957). Atti di: 12th International Workshop on Security Protocols, Cambridge, 26th-28th April 2004. - URL: http://www.springerlink.com/content/l7776lv37385rm34/fulltext.pdf - vedi dettaglio
  • G. Karjoth, F. Massacci (a cura di), "Proceedings of the 2nd ACM workshop on Quality of protection", New York, N.Y.: ACM press, 2006, 64 p. - ISBN: 1-59593-553-3 - vedi dettaglio
  • D. Gollmann, F. Massacci, A. Yautsiukhin (a cura di), "Quality of protection: security measurements and metrics", Berlin: Springer, 2006. - ISBN: 978-0-387-29016-4 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Requirements Engineering for Trust Management: Model, Methodology, and Reasoning" in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, v. 5, n. 4 (2006), p. 257-274. - DOI: 10.1007/s10207-006-0005-7 - vedi dettaglio
  • G. Bella, S. Bistarelli, F. Massacci, "Retaliation: Can We Live with Flaws?" in Proceedings of the NATO Adavnced Research Workshop on Information Assurance and Computer Security 2005, Amsterdam: IOS Press, 2006, p. 3-14. Atti di: NATO ARW Information Security Assurance and Security 2005, Tetuan, Morocco, 3rd-4th June 2005 - vedi dettaglio
  • K. Stølen, W. H. Winsborough, F.Martinelli, F. Massacci (a cura di), "Trust Management, Proceedings of the 4th International Conference, iTrust 2006", BERLIN: SPRINGER, 2006 - vedi dettaglio
  • K. Stoelen, W. H. Winsborough, F. Martinelli, F. Massacci (a cura di), "Trust Management: 4th International Conference: iTrust 2006", di -., Berlin; Germany: Springer, 2006, 474 p. - (Lecture Notes in Computer Science; 3986). - ISBN: 9783540342953. - URL: http://www.springerlink.com/content/978-3-540-34295-3/#section=497698&page=1 . - DOI: 10.1007/11755593. - vedi dettaglio
  • G. Bella, F. Massacci, L. C. Paulson, "Verifying the SET Purchase Protocols" in JOURNAL OF AUTOMATED REASONING, v. 36, n. 1-2 (2006), p. 5-37. - DOI: 10.1007/s10817-005-9018-6 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "An Interactive Trust Management and Negotiation Scheme" in Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France, Berlin: Springer, 2005, p. 139-152 -(IFIP International Federation for Information Processing; 173). - ISBN: 0387240500. Atti di: Formal Aspects of Security and Trust (FAST 2004), Toulouse, 22nd-27th August 2004. - URL: http://www.iit.cnr.it/FAST2004/ . - DOI: 10.1007/0-387-24098-5_9 - vedi dettaglio
  • G. Kuper, F. Massacci, N. Rasadka, "Generalized XML Security Views" in SACMAT 2005: proceedings of Tenth ACM Symposium on Access Control Models and Technologies, CHICAGO: ACM Press, 2005, p. 77-84. Atti di: SACMAT '05, Stockholm, 1st–3rd June 2005. - URL: www.sacmat.org . - DOI: 10.1145/1063979.1063994 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "Interactive Access Control and Trust Negotiation for Autonomic Communication" in ERCIM NEWS, n. 63 (2005), p. 36-37 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "Interactive credential negotiation for stateful business processes" in Trust Management , BERLIN: SPRINGER, 2005, p. 256-272. Atti di: (iTrust-05), Rocquencourt, France, May 2005 - vedi dettaglio
  • N. Zannone, S. Jajodia, F. Massacci, D. Wijesekera, "Maintaining Privacy on Derived Objects" in Workshop on Privacy in the Electronic Society (WPES'05), New York: ACM Press, 2005, p. 10-19. - ISBN: 1595932283. Atti di: Workshop on Privacy in the Electronic Society (WPES'05), Alexandria (VA), 7th November 2005. - URL: http://dl.acm.org/citation.cfm?doid=1102199.1102202 . - DOI: 10.1145/1102199.1102202 - vedi dettaglio
  • F. Massacci, J. Mylopoulos, N. Zannone, "Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation" in Computer Security: ESORICS 2005, Berlin: Springer, 2005, p. 438-454 -(Lecture Notes in Computer Science; 3679). Atti di: 10th European Symposium on Research in Computer Security, Milano, 12th-14th September 2005 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Modeling Security Requirements Models through Planning" in Proceedings. 13th IEEE International Conference on Requirements Engineering, CHICAGO: IEEE, 2005, p. 167-176. Atti di: RE'05, PARIS, 29 AUGUST- 2 SEPTEMBER - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Modeling security requirements through ownership, permission and delegation" in Proceedings of the 13th IEEE International Comference on Requirements Engineering: Paris, France, 29 August - 2 September 2005, USA: IEEE, 2005, p. 167-176. Atti di: IEEE Computer Society, Paris, 29 Aug-2 Sep 2005 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Modelling Security Requirements Through Ownership, Permissions and Delegations" in 13th IEEE International Requirements Engineering Conference, USA: IEEE, 2005, p. 167-176. Atti di: RE’05, PARIS, AUGUST-SEPTEMBER - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Modelling Social and Individual Trust in Requirements Engineering Methodologies" in 3rd International Conference on Trust Management (iTrust 2005), Berlin: Springer, 2005, p. 161-176 -(LNCS; 3477). Atti di: 3rd international conference on trust management (iTrust 2005), Rocquencourt, France, 23-26 May 2005 - vedi dettaglio
  • G. Bella, F. Massacci, L. C. Paulson, "Overview of the Verification of SET" in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, v. 4, n. 1-2 (2005), p. 17-28. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0- 14844323149&partnerID=40&md5=8336a228480e0585f4e2dae57659dadd . - DOI: 10.1007/s10207-004-0047-7 - vedi dettaglio
  • P. Giorgini, F. Massacci, N. Zannone, "Security and Trust Requirements Engineering" in A. Aldini, R. Gorrieri, F. Martinelli (a cura di), Foundations of Security Analysis and Design III: Tutorial Lectures, Berlin: Springer, 2005, p. 237-272. - ISBN: 3540289550 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, A. Siena, N. Zannone, "ST-Tool: a case tool for modeling and analyzing trust requirements" in 3rd international conference on trust management (iTrust 2005), Germania: Springer, 2005, p. 415-419. Atti di: iTrust 2005, Rocquencourt, 23rd-26th May 2005 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "ST-Tool: A CASE Tool for Security Requirements Engineering" in Proceedings of the 13th IEEE International Conference on Requirements Engineering: Paris, France, 29 August - 2 September 2005, California: IEEE Press, 2005, p. 451-452. - ISBN: 0769524257. Atti di: IEEE Computer Society, Paris, 29th August-2nd September 2005. - URL: http://doi.ieeecomputersociety.org/10.1109/RE.2005.67 . - DOI: 10.1109/RE.2005.67 - vedi dettaglio
  • F. Massacci, M. Pistore, A. Gotsman, "Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language" in Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), Amsterdam: Elsevier, 2005, p. 59-77 -(Electronic Notes in Theoretical Computer Science; 135.1). Atti di: ARSPA 2005, Lisbon, 16th July 2005. - DOI: 10.1016/j.entcs.2005.06.004 - vedi dettaglio
  • F. Massacci, M. Prest, N. Zannone, "Using a Security Requirements Engineering Methodology in Practice: the compliance with the Italian Data Protection Legislation" in COMPUTER STANDARDS & INTERFACES, v. 27, n. 5 (2005), p. 445-455. - DOI: 10.1016/j.csi.2005.01.003 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "A System for Interactive Authorization for Business Processes for Web Services" in 4th International Conference on Web Engineering (ICWE), Berlin: Springer Verlag, 2004, p. 521-525 -(LNCS; 3140). - ISBN: 3540225110. Atti di: Springer, Munich, 28th-30th July 2004. - URL: http://www.springerlink.com/content/4x52talrpl0rx1jq/ . - DOI: 10.1007/978-3-540-27834-4_63 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "E Pluribus Unum: Deduction, Abduction and Induction, the Reasoning Services for Access Control in Autonomic Communication" in Autonomic Communication First International IFIP Workshop, WAC 2004, Berlin: Springer Verlag, 2004, p. 238-261 -(LNCS; 3457). - ISBN: 3540274170. Atti di: 1st IFIP TC6 WG6.6 International Workshop on Autonomic Communication (WAC 2004), Berlin, Germany, 18-19 October 2004. - URL: http://www.autonomic-communication.org/wac/ . - DOI: 10.1007/11520184_14 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures" in Public Key Infrastructure - EuroPKI 2004, Heidelberg: Springer, 2004, p. 98-111 -(Lecture Notes in Computer Science; 3093). - ISBN: 3540222162. Atti di: 1st European PKI Workshop Research and Applications (1st EuroPKI), Samos Island (Greece), 25th-26th June 2004. - URL: http://www.springerlink.com/content/ykjf3dr5tuc0quaw/ . - DOI: 10.1007/978-3-540-25980-0_8 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "Interactive Access Control for Web Services" in Security and protection in information processing systems: IFIP 18th world computer congress: TC11 19th International Information Security Conference, Boston: Kluwer Academic Publishers, 2004, p. 150-166 -(IFIP International Federation for Information Processing; 147). - ISBN: 1402081421. Atti di: 19th IFIP International Information Security Conference (SEC 2004), Toulouse, 22nd-27th August 2004. - URL: http://www.laas.fr/sec2004/ - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone, "Requirements engineering meets trust management: model, methodology, and reasoning" in Proceedings of the 2nd International Conference on Trust Management (iTrust 2004), Heidelberg: Springer, 2004, p. 176-190 -(Lecture Notes in Computer Science; 2995). - ISBN: 3540213120. Atti di: 2nd International Conference on Trust Management, Oxford, 29 March - 1 April 2004. - URL: http://www.springerlink.com/content/k9gpgmbgf6hh0x21/ . - DOI: 10.1007/978-3-540-24747-0_14 - vedi dettaglio
  • N. Chetcuti-sperandio, F. Massacci, "Semantique et raisonnement automatique pour une infrastructures publiques" in RFIA 2004: actes: 14ème congrès francophone AFRIF-AFIA Reconnaissance des formes et intelligence artificielle, Toulouse: LAAS, 2004, p. 1165-1174. Atti di: RFIA 2004, Toulouse, 28-30 Janvier 2004. - URL: http://spiderman-2.laas.fr/rfia2004/actes/ARTICLES/165.pdf - vedi dettaglio
  • H. Koshutanski, F. Massacci, "A Logical Model for Security of Web Services" in Formal Aspects of Security and Trust: CNR, 2003, p. 1-8 -(Technical report; 01/10/2003). Atti di: 1st International Workshop on Formal Aspects of Security and Trust (FAST 2003), Instituto di Informatica e Telematica, Pisa, Italy, 8-9 September 2003. - URL: http://www.iit.cnr.it/FAST2003/ - vedi dettaglio
  • G. Bella, S. Bistarelli, F. Massacci, "A Protocol's Life after Attacks" in Proceedings of the 11th International Workshop on Security Protocols: Springer, 2003 -(Lecture Notes in Computer Science). Atti di: Proceedings of the 11th International Workshop on Security Protocols, Cambridge, UK, 2003 - vedi dettaglio
  • N. Chetcuti-sperandio, F. Massacci, "A semantics and a calculi for reasoning about credential-based systems", 2003, p. 61-76. Atti di: Proceedings of the International Workshop Methods for Modalities (M4M'03), Nancy, France, September 2003 - vedi dettaglio
  • H. Koshutanski, F. Massacci, "An Access Control Framework for Business Processes for Web Services": ACM Press, 2003, p. 15-24. Atti di: ACM workshop on XML security (XMLSEC-2003), Fairfax, Va., 31 October 2003. - URL: http://www.acm.org/sigs/sigsac/ccs/CCS2003/XMLSec2003.html - vedi dettaglio
  • H. Koshutanski, F. Massacci, "An Access Control System for Business Processes for Web Services" in NORDSEC 2003: proceedings of the Seventh [i.e. Eighth] Nordic Workshop on Secure IT Systems - Encouraging Cooperation: 15th-17th October 2003, Gjøvik, Norway: [Norwegian University of Science and Technology], Department of Telematics, 2003, p. 143-150. Atti di: NORDSEC 2003, Gjøvik University College, 15th-17th October 2003. - URL: http://www2.hig.no/esorics2003/nordsec2003/ - vedi dettaglio
  • L. Carlucci Aiello, F. Massacci, "Attacking Fair-Exchange Protocols: Parallel Models vs. Trace Models" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 55(1), (2003) - vedi dettaglio
  • C. Fiorini, F. Massacci, E. Martinelli, "How to fake an RSA signature by encoding modular root finding as a SAT problem" in DISCRETE APPLIED MATHEMATICS, v. 130, n. 2 (2003), p. 101-127. - DOI: 10.1016/S0166-218X(02)00400-6 - vedi dettaglio
  • N. Chetcuti-sperandio, F. Massacci, "Reasoning about Credential-based Systems" in Proceedings 1st International Workshop on Formal Aspects in Security and Trust (FAST'03), Pisa, September 2003: Istituto di Informatica e Telematica, 2003, p. 23-38. Atti di: Proceedings of the 1st International Workshop on Formal Aspects in Security and Trust (FAST’03), Pisa, 8-9 September 2003 - vedi dettaglio
  • P. Giorgini, F. Massacci, J. Mylopoulos, "Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard" in Conceptual modeling - ER 2003: 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003: proceedings, Berlin: Springer, 2003, p. 263-276 -(Lecture Notes in Computer Science; 2813). Atti di: 22nd international conference on conceptual modeling (ER 2003), Chicago (IL), 13th-16th October 2003. - URL: http://www.er.byu.edu/er2003/ - vedi dettaglio
  • G. Bella, F. Massacci, L. C. Paulson, "Verifying the SET registration protocols" in IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, v. 21, n. 1 (2003), p. 77-87 - vedi dettaglio
  • F. Massacci, "Formal Verification of SET by VISA and MasterCard: Lessons for Formal Methods in Security", 2002, p. 2-4. Atti di: Second verification workshop VERiFY 2002 affiliated with the 18 Conference on Automated deduction (CADE) at FLOC '02, Copenhagen, July, 25-26 2002. - URL: http://diku.dk/publikationer/tekniske.rapporter/2002/02-07.pdf - vedi dettaglio
  • L. Carlucci Aiello, F. Massacci, "Planning attacks to security protocols: case studies in logic programming" in A. Kakas, F. Sadri (a cura di), Computational logic: logic programming and beyond : essays in honor of Robert A. Kowalski, Berlin: Springer, 2002, p. 533-560. - ISBN: 9783540439592 - vedi dettaglio
  • F. M. Donini, P. Liberatore, F. Massacci, M. Schaerf, "Solving QBF with SMV" in Proceedings of the 2002 Intl. Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002.: CEUR, 2002, p. 578-589 -(CEUR-WS; 56). Atti di: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR’02), Toulouse, France, 19-21 April 2002. - URL: http://CEUR-WS.org/Vol-53 - vedi dettaglio
  • G. Bella, L. C. Paulson, F. Massacci, "The verification of an industrial payment protocol: the SET purchase phase" in Proceedings of the 9th ACM conference on Computer and communications security, New York, NY: ACM Press, 2002, p. 12-20. - ISBN: 1-58113-612-9. Atti di: 9th ACM conference on computer and communications security ACM CCS-2002, Washington, DC, 18-22 November 2002. - URL: http://www.acm.org/sigs/sigsac/ccs/CCS2002/ - vedi dettaglio
  • L. Carlucci Aiello, F. Massacci, "Attacking fair-exchange protocols: parallel models vs trace models" in International Workshop on Logical Aspects of Cryptographic Protocols Verification: Elsevier, 2001 -(Electronic Notes in Theoretical Computer Science; 55). Atti di: International Workshop on Logical Aspects of Cryptographic Protocols Verification, Paris, 2001 - vedi dettaglio
  • D. Calvanese, P. Liberatore, F. Massacci, R. Rosati, Complementi ed esercizi di programmazione in PASCAL, BOLOGNA: Esculapio Editore, 2001. - ISBN: 88-86524-23-4 - vedi dettaglio
  • F. Massacci, "Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity" in IJCAI-01 : proceedings of the seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington August 4-10, 2001: Kaufmann, 2001, p. 193-198 -(ISBN 1-55860-777-3; 1). Atti di: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI’01), Seattle, Washington, 2001 - vedi dettaglio
  • A. Fioravanti, F. Massacci, "How to model (and simplify) the SET payment phase for automated verification" in Proceedings of IJCAR-2001 Verification Workshop - VERIFY'01: Università di Siena, 2001, p. 34-44 -(Technical Report; 01/08/2001). Atti di: Proceedings of IJCAR-2001 Verification Workshop - VERIFY'01, Siena, June, 18-23 2001 - vedi dettaglio
  • L. Farinas Del Cerro, D. Fauthoux, O. Gasquet, A. Herzig, D. Longin, F. Massacci, "Lotrec : The Generic Tableau Prover for Modal and Description Logics": Springer Heidelberg, 2001, p. 453-458 -(Lecture Notes in Artificial Intelligence; 2083). Atti di: Proceedings of International Joint Conference on Automated Reasoning, IJCAR-01, 2001 - vedi dettaglio
  • D. Calvanese, P. Liberatore, F. Massacci, R. Rosati, Programmazione con Strutture Dati in C, BOLOGNA: Esculapio Editore, 2001. - ISBN: 88-86524-52-8 - vedi dettaglio
  • D. Calvanese, P. Liberatore, F. Massacci, R. Rosati, Programmazione con strutture dati in C, Bologna: Esculapio, 2001, 340 p. - (Progetto Leonardo). - ISBN: 9788886524520 - vedi dettaglio
  • L. Carlucci Aiello, F. Massacci, "Verifying security protocols as planning in logic programming" in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, v. 2, n. 4 (2001), p. 542-580 - vedi dettaglio
  • L. Carlucci Aiello, F. Massacci, "An Executable Specification Language for Planning Attacks to Security Protocols" in Proc. of the 13th IEEE Computer Security Foundations Workshop (CSFW'00), 2000, p. 88-102 - vedi dettaglio
  • G. De Giacomo, F. Massacci, "Combining deduction and model checking into tableaux and algorithms for Converse-PDL." in INFORMATION AND COMPUTATION, v. 162, (2000), p. 117-137 - vedi dettaglio
  • F. M. Donini, F. Massacci, "EXPTIME Tableaux for ALC" in ARTIFICIAL INTELLIGENCE, v. 124(1), (2000), p. 87-138 - vedi dettaglio
  • G. Bella, F. Massacci, L. C. Paulson, P. Tramontano, "Formal verification of cardholder registration in SET", Berlin, Heidelberg, NewYork: Springer Verlag, 2000, p. 159-174 -(LNCS; 1895). Atti di: 6th European symposium on research in computer security (ESORICS-2000), Toulouse, 2000 - vedi dettaglio
  • F. Massacci, L. Marraro, "Logical cryptanalysis as a SAT-problem: Encoding and analysis of the U.S. Data Encryption Standard" in J. Gent, H. Van Maaren, T. Walsh (a cura di), SAT-2000: Highlights of Satisfiability Research at the Year 2000, AMSTERDAM-NEW YORK: IOS Press, 2000. - ISBN: 1-58603-061-2 - vedi dettaglio
  • F. Massacci, L. Marraro, "Logical Cryptanalysis as a SAT-Problem: Encoding and Analysis of the U.S. Data Encryption Standard" in JOURNAL OF AUTOMATED REASONING, v. 24, n. 1-2 (2000), p. 165-203 - vedi dettaglio
  • F. Massacci, "Reduction Rules and Universal Variables for First Order Tableaux and DPLL" in Proc. of the 7th Int. Conf. on Principles of Knowledge Repr. and Reasoning (KR), 2000, p. 186-197 - vedi dettaglio
  • F. Massacci, L. Marraro, "Single Step Tableaux for Modal Logics" in JOURNAL OF AUTOMATED REASONING, v. 24, n. 3 (2000), p. 319-364 - vedi dettaglio
  • F. Massacci, "Single Step Tableaux for Modal Logics: methodology, computations, algorithms" in JOURNAL OF AUTOMATED REASONING, v. 24(3), (2000), p. 319-364 - vedi dettaglio
  • F. Massacci, "The Complexity of Analytic and Clausal Tableaux" in THEORETICAL COMPUTER SCIENCE, v. 243, n. 1-2 (2000), p. 477-487 - vedi dettaglio
  • P. Baumgartner, F. Massacci, "The Taming of the XOR" in Computational Logic -- CL 2000, First International Conference, 2000, p. 508 - vedi dettaglio
  • F. Massacci, "Using Walk-SAT and Rel-SAT for Cryptographic Key Search" in Proc. of the 16th Internat. Joint Conf. on Artificial Intelligence (IJCAI-99), 1999, p. 290-295 - vedi dettaglio
  • F. Massacci, "Anytime Approximate Modal Reasoning" in Proc. of 15th National (U.S.) Conference on Artificial Intelligence (AAAI-98), 1998, p. 274-279 - vedi dettaglio
  • F. Massacci, "Breaking security protocols as an AI planning problem" in Proc. of the 4th European Conference on Planning (ECP-97), 1998, p. 286-298 - vedi dettaglio
  • F. Massacci, "Tableaux Methods for Formal Verification in Multi-agent Distributed Systems" in JOURNAL OF LOGIC AND COMPUTATION, v. 8, (1998), p. 373-400 - vedi dettaglio
  • F. Massacci, "Reasoning about security: a logic and a decision methods for role-based access control" in Proc. of ECSQARU-FAPR'97, 1997, p. 421-435 - vedi dettaglio
  • M.F. Donini, F. Massacci, D. Nardi, R. Rosati, "A uniform tableaux method for nonmonotonic modal logics" in Proc. of 6th European Workshop on Logics in Artificial Intelligence (JELIA-96), 1996, p. 87 - vedi dettaglio
  • G. De Giacomo, F. Massacci, "Tableaux and Algorithms for Propositional Dynamic Logic with Converse" in Proc. of the 13th International Conference on Automated Deduction (CADE-97), 1996, p. 613-628 - vedi dettaglio
  • F. Massacci, "Strongly Analytic Tableaux for Normal Modal Logics" in Proc. of the 12th Int. Conf. on Automated Deduction, 1994, p. 723-737 - vedi dettaglio