Carvalho Junior, Marcelo Antonio de UNIFESP CARVALHO JUNIOR, Marcelo Antonio de. Análise de políticas de segurança por meio de Rede Petri colorida em sistemas de informação em saúde que utilizam controle de acesso baseado em papéis (RBAC). São Paulo, 2021. 184 f. Tese (Doutorado em Gestão e Informática em Saúde) – Escola Paulista de Medicina, Universidade Federal de São Paulo, São Paulo, 2021..
,
2021