Burrows–Abadi–Needham logic (Q1016940)
Jump to navigation
Jump to search
set of rules for defining and analyzing information exchange protocols
- BAN logic
- Burrows-Abadi-Needham logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Burrows–Abadi–Needham logic |
set of rules for defining and analyzing information exchange protocols |
|
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- arwiki منطق بوروس-عبادي-نظيم
- dewiki Burrows-Abadi-Needham-Logik
- enwiki Burrows–Abadi–Needham logic
- ptwiki Lógica de Burrows–Abadi–Needham
- ruwiki Логика Бэрроуза — Абади — Нидхэма
- viwiki Lôgic BAN