Advances, Systems and Applications
Table 3 BAN logic basic symbols
From: An ECC-based mutual data access control protocol for next-generation public cloud
Symbol | Pronounced | Descriptions |
|---|---|---|
\({\mid \sim }\) | Once Said | \({P\mid \sim Q, \; means \; P \; Once \; Said \; Q }\) |
\({\mid \equiv }\) | Belief | \({P \; \mid \equiv , \; means\; P \; believes \; Q}\) |
\({\vartriangleleft }\) | Sees | \({P\vartriangleleft ,\; means \; P \; Sees\; Q}\) |
\({\#}\) | Fresh | Freshness rule |
\({\mid \Rightarrow }\) | Jurisdiction | Jurisdiction rule: Who knows whom |
\({<.>}\) | Combines | Concatenation of two parameters |
\({\,\xleftarrow {K}\xrightarrow \,}\) | Communicates | Shared key rule |