इसका टेक्स्ट मैसेज भेजे: Formal logical methods for system security and correctness