e/Security protocol notation

Information
has gloss	eng: In cryptography, security (engineering) protocol notation is 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.
lexicalization	eng: Security protocol notation
instance of	e/Cryptographic protocol

Meaning
Vietnamese
has gloss	vie: Hệ thống ký hiệu giao thức mật mã là tập hợp những cách thức biểu diễn các gói tin trao đổi giữa các bên tham gia giao dịch theo một giao thức mật mã nhất định trong môi trường mạng máy tính. Cách thức biểu diễn này cho phép suy luận các đặc tính của giao thức và cung cấp một mô hình chuẩn tắc (formal model) để có thể áp dụng lôgic BAN.
lexicalization	vie: Ký hiệu giao thức mật mã