A blockchain based proposal for protecting healthcare systems through formal methods