security protocol notation (Q7445064)
Jump to navigation
Jump to search
a way of expressing a protocol of correspondence between entities of a dynamic system, such as a computer network. In the context of a formal model, it allows reasoning about the properties of such a system
- protocol narrations
- Alice & Bob notation
- security (engineering) protocol notation
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | security protocol notation |
a way of expressing a protocol of correspondence between entities of a dynamic system, such as a computer network. In the context of a formal model, it allows reasoning about the properties of such a system |
|
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Security protocol notation
- frwiki Notation de protocole de sécurité
- ptwiki Notação de protocolo de segurança
- viwiki Ký hiệu giao thức mật mã