Documentation

Cryptlib.Protocols.GroupComm

Group communication protocols #

Each protocol lives in Cryptlib/Protocols/GroupComm/<name>/, with its models, proofs and tests, and is listed in all. What more than one protocol uses lives in Common/. A protocol depends on Common and on the rest of Cryptlib, never on another protocol. A name says where the protocol comes from, and a number tells apart the versions of it.

source
structure Cryptlib.Protocols.GroupComm.Info :
Type
  • name : String

    The protocol's directory under Cryptlib/Protocols/GroupComm/.

  • origin : String

    Where the protocol is defined.

  • summary : String
Instances For
    source
    def Cryptlib.Protocols.GroupComm.groupChatKatzenqt1 :
    Info
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Cryptlib.Protocols.GroupComm.all :
      List Info
      Equations
      Instances For