The technique of logic analysis combined with process calculi is proposed in [3].However, the technique has some limitations in analyzing security and atomicity of e-com- merce.
英
美
释义
但电子商务协议的设计是非常复杂且容易出错,一个貌似良好的协议可能存在重大的安全漏洞。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载