provable logic
基本解釋
- [電子、通信與自動(dòng)控制技術(shù)]可証性邏輯
專業(yè)釋義
- 可証性邏輯
Presented a formal method based on provable logic that can analyze non-repudiation, fairness and timeliness.
2.提出了一種基於可証性邏輯的,能同時(shí)分析非否認(rèn)性、公平性與時(shí)限性的形式化分析方法。
Presented a formal method based on provable logic that can analyze non-repudiation, fairness and timeliness.
2.提出了一種基於可証性邏輯的,能同時(shí)分析非否認(rèn)性、公平性與時(shí)限性的形式化分析方法。