Enviar aquest missatge de text: Formal logical methods for system security and correctness