Buy Me a Coffee at ko-fi.com

Burrows–abadi–needham logic

set of rules for defining and analyzing information exchange protocols

Pronunciation
/bəroʊz – əˈbædi – ˈnidəm ˈlɑʤɪk/
Categories
logical system