Dataset title: RHP (Request Handling Pattern) and Authorization Mechanism. The dataset contains Event-B developments for RHP (Request Handling Pattern) and refinements for authorization mechanism
Data attributes available from the Identity and Access Management database. These data are available by request to authorized users ( http://iam.harvard.edu/files/iam/files/cas-saml-spusagerequest-for
Supplemental material, DSN-19-0235.R3_Latex_files for Interoperable Internet of Medical Things platform for e-Health applications by Jesús Noel Sárez Rubí and Paulo Roberto de Lira Gondim in Internati
