BAN-Logik ^Schlagwort ^{Schlagwort sensu stricto}

Eine mehrsortige Modallogik des Glaubens. Diese Logik wird für den Sicherheitsnachweis von Kommunikationsprotokollen eingesetzt.

URI	https://d-nb.info/gnd/4648185-0
Entitätstyp	Schlagwort sensu stricto
GND-Nummer	4648185-0
GND-Sachgruppe	Informatik, Datenverarbeitung
Siehe auch	Deutsche Nationalbibliothek (DNB)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

BAN-Logik Schlagwort Schlagwort sensu stricto Eine mehrsortige Modallogik des Glaubens. Diese Logik wird für den Sicherheitsnachweis von Kommunikationsprotokollen eingesetzt.