表示协议 meaning in Chinese
presentation layer protocol
Examples
- Protocol engineering is the way to achieve it . the parameter and the way to transmit of applying layer protocol ( cmip 、 acse 、 rose ) and presentation layer protocol ( light - weight presentation protocol lpp ) in cmot is carefully studied
在协议的实现上，采用协议工程的方法详细分析和研究了cmot应用层协议（ cmip 、 acse 、 rose ）和表示层协议（轻量表示协议lpp ）的服务特性、服务原语、参数和传输方式。 - Having fully absorbed the former researching results , f " abrega , herzog and guttman brought forward a kind of formal method named strand space , which is a practical , intuitive and strict one for security protocols analysis . the model uses a kind of order graph between its nodes existing casual relationship to represent protocol executions
串空间( strandspace )模型由f ' abrega 、 herzog和guttman三人提出，它是分析安全协议的一种实用、直观和严格的形式化方法，它充分吸收了前人的研究成果，模型使用一种节点间存在因果关系的有向图来表示协议的运行。 - In this dissertation we present a general , extensible methodology that examines cryptographic protocols . our approach is specify a protocol in cpal ( cryptographic protocol analysis language ) , apply hoare and dijkstra ? theory of formal semantics to it , analysis it ? forma ] semantics , define weakest precondition of each kind of language statement
我们的方法就是用cpal （ cryptographicprotocolanalysislanguage ）语言来表示协议，将hoare和dijkstra在形式语义方面的理论应用到该语言，分析该语言的形式语义，定义每种语句的最弱前置条件。