Massimiliano Masi
Massimiliano Masi
Autostrade Per L'Italia SpA
Verified email at - Homepage
Cited by
Cited by
Formalisation and implementation of the XACML access control mechanism
M Masi, R Pugliese, F Tiezzi
International Symposium on Engineering Secure Software and Systems, 60-74, 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
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
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
A formal software engineering approach to policy-based access control
A Margheri, M Masi, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep, 2013
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
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
Decentralised provenance for healthcare data
A Margheri, M Masi, A Miladi, V Sassone, J Rosenzweig
International Journal of Medical Informatics 141, 104197, 2020
Developing and enforcing policies for access control, resource usage, and adaptation
A Margheri, M Masi, R Pugliese, F Tiezzi
International Workshop on Web Services and Formal Methods, 85-105, 2013
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
Cybersecurity evaluation of enterprise architectures: the e-SENS case
T Pavleska, H Aranha, M Masi, E Grandry, GP Sellitto
IFIP Working Conference on The Practice of Enterprise Modeling, 226-241, 2019
Automating smart grid solution architecture design
M Masi, T Pavleska, H Aranha
2018 IEEE International Conference on Communications, Control, and Computing …, 2018
On the usage of SAML delegate assertions in an healthcare scenario with federated communities
M Masi, R Maurer
International Conference on Electronic Healthcare, 212-220, 2010
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
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
Improving cross-border european eprescription and patient summary services through e-sens cross-sectorial building blocks
F Wisniewski, DG Katehakis, M Masi, S Bittins, GD LIST
Global Telemedicine and eHealth Updates: Knowledge Resources 9, 234-238, 2016
Interoperability infrastructure services to enable secure, cross-border, operational eHealth services in Europe
DG Katehakis, J Gonçalves, M Masi, S Bittins
Proceedings of the 17th International HL7 Interoperability Conference IHIC …, 2017
Using Integrating the Healthcare Enterprise (IHE) profiles for an healthcare DataGRID based on AliEn
M Masi, M Meoni
Emmit, AITIM, 2008
Formal Access Control Policy Language (FACPL) User’s Guide
A Margheri, M Masi, R Pugliese, F Tiezzi
Tech. Rep., 2016
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience
M Masi, R Pugliese, F Tiezzi
International Conference on e-Infrastructure and e-Services for Developing …, 2011
The system can't perform the operation now. Try again later.
Articles 1–20