| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/HOL/Auth/Guard/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 287 B |
|
Quelle Auth_Guard_Public.thy Sprache: Isabelle |
|||||||||||||||
|
(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge *) section ‹Blanqui's "guard" concept: protocol-independent secrecy\ theory Auth_Guard_Public imports P1 P2 Guard_NS_Public Proto begin end
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-02