| Decentralised provenance for healthcare data A Margheri, M Masi, A Miladi, V Sassone, J Rosenzweig International Journal of Medical Informatics 141, 104197, 2020 | 80 | 2020 |
| Formalisation and implementation of the XACML access control mechanism M Masi, R Pugliese, F Tiezzi Engineering Secure Software and Systems: 4th International Symposium, ESSoS …, 2012 | 47 | 2012 |
| A rigorous framework for specification, analysis and enforcement of access control policies A Margheri, M Masi, R Pugliese, F Tiezzi IEEE Transactions on Software Engineering 45 (1), 2-33, 2017 | 40 | 2017 |
| Towards model-driven development of access control policies for web applications M Busch, N Koch, M Masi, R Pugliese, F Tiezzi Proceedings of the Workshop on Model-Driven Security, 1-6, 2012 | 27 | 2012 |
| Healthcare data management by using blockchain technology S Bittins, G Kober, A Margheri, M Masi, A Miladi, V Sassone Applications of blockchain in healthcare, 1-27, 2021 | 19 | 2021 |
| Securing critical infrastructures with a cybersecurity digital twin M Masi, GP Sellitto, H Aranha, T Pavleska Software and Systems Modeling 22 (2), 689-707, 2023 | 15 | 2023 |
| Cybersecurity evaluation of enterprise architectures: the e-SENS case T Pavleska, H Aranha, M Masi, E Grandry, GP Sellitto The Practice of Enterprise Modeling: 12th IFIP Working Conference, PoEM 2019 …, 2019 | 12 | 2019 |
| Enabling a zero trust architecture in smart grids through a digital twin GP Sellitto, H Aranha, M Masi, T Pavleska Dependable Computing-EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021 …, 2021 | 11 | 2021 |
| A formal software engineering approach to policy-based access control A Margheri, M Masi, R Pugliese, F Tiezzi Univ. Firenze, Tech. Rep, 2013 | 11 | 2013 |
| Security analysis of standards-driven communication protocols for healthcare scenarios M Masi, R Pugliese, F Tiezzi Journal of medical systems 36 (6), 3695-3711, 2012 | 11 | 2012 |
| Drafting a cybersecurity framework profile for smart grids in EU: a goal-based methodology T Pavleska, H Aranha, M Masi, GP Sellitto Dependable Computing-EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE …, 2020 | 10 | 2020 |
| Securing mobile e-health environments by design: a holistic architectural approach H Aranha, M Masi, T Pavleska, GP Sellitto 2019 International Conference on Wireless and Mobile Computing, Networking …, 2019 | 10 | 2019 |
| A standard-driven communication protocol for disconnected clinics in rural areas M Masi, R Pugliese, F Tiezzi 2011 IEEE 13th International Conference on e-Health Networking, Applications …, 2011 | 10 | 2011 |
| On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals M Masi, R Pugliese, F Tiezzi International Conference on Information Systems Security, 55-70, 2009 | 10 | 2009 |
| Enabling security-by-design in smart grids: An architecture-based approach H Aranha, M Masi, T Pavleska, GP Sellitto 2019 15th European Dependable Computing Conference (EDCC), 177-179, 2019 | 9 | 2019 |
| Automating smart grid solution architecture design M Masi, T Pavleska, H Aranha 2018 IEEE International Conference on Communications, Control, and Computing …, 2018 | 8 | 2018 |
| On the usage of SAML delegate assertions in an healthcare scenario with federated communities M Masi, R Maurer Electronic Healthcare: Third International Conference, eHealth 2010 …, 2012 | 8 | 2012 |
| Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: –A Practical Approach– A Margheri, M Masi, R Pugliese, F Tiezzi Web Services and Formal Methods: 10th International Workshop, WS-FM 2013 …, 2014 | 7 | 2014 |
| On a formal and user-friendly linguistic approach to access control of electronic health data A Margheri, M Masi, R Pugliese, F Tiezzi SciTePress, 2013 | 7 | 2013 |
| A Cyber security digital twin for critical infrastructure protection: the intelligent transport system use case GP Sellitto, M Masi, T Pavleska, H Aranha IFIP Working Conference on The Practice of Enterprise Modeling, 230-244, 2021 | 5 | 2021 |
