Quelle Auth_Shared.thy Sprache: Isabelle

(*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    Copyright   1996  University of Cambridge
*)

section \<open>Conventional protocols: rely on conventional Message, Event and Public -- Shared-key protocols\<close>

theory Auth_Shared
imports
  NS_Shared
  Kerberos_BAN
  Kerberos_BAN_Gets
  KerberosIV
  KerberosIV_Gets
  KerberosV
  OtwayRees
  OtwayRees_AN
  OtwayRees_Bad
  OtwayReesBella
  WooLam
  Recur
  Yahalom
  Yahalom2
  Yahalom_Bad
  ZhouGollmann
begin

end

quality100%

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.