cpal 中文意思是什麼
cpal
解釋
1. Canadian Pacific Airlines 加拿大太平洋航空公司。2. Cathay Pacific Airways （香港）國泰航空公司。
3. Catholic Press Association 天主教新聞協會。
-
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在形式語義方面的理論應用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。
分享友人