Massimiliano Masi
Massimiliano Masi
Tiani ``Spirit'' GmbH
Verified email at tiani-spirit.com - Homepage
TitleCited byYear
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
402012
Towards model-driven development of access control policies for web applications
M Bush, N Koch, M Masi, R Pugliese, F Tiezzi
Springer, 2012
212012
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
152017
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
112012
A formal software engineering approach to policy-based access control
A Margheri, M Masi, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep, 2013
102013
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
92011
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
82009
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
72013
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
72013
Automating Smart Grid Solution Architecture Design
M Masi, T Pavleska, H Aranha
2018 IEEE International Conference on Communications, Control, and Computing …, 2018
52018
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
52010
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
32016
Using Integrating the Healthcare Enterprise (IHE) profiles for an healthcare DataGRID based on AliEn
M Masi, M Meoni
Emmit, AITIM, 2008
32008
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
22011
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
12017
Towards a Cross-domain Infrastructure to Support Electronic Identification and Capability Lookup for Cross-border ePrescription/Patient Summary Services.
DG Katehakis, M Masi, F Wisniewski, S Bittins
pHealth, 152-157, 2016
12016
Formal Access Control Policy Language (FACPL) User’s Guide
A Margheri, M Masi, R Pugliese, F Tiezzi
Tech. Rep., 2016
12016
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
2019
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
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
2019
The system can't perform the operation now. Try again later.
Articles 1–20