bn:01238301n
Noun Concept
JA
バロウズ=アバディ=ニーダム理論  BAN理論
EN
Burrows–Abadi–Needham logic is a set of rules for defining and analyzing information exchange protocols. Wikipedia
Relations
Sources