The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
Review product storage condition and stability protocol to meet compliance requirement.
产品存储条件与稳定性方案的审核以满足法规的相关要求.
互联网摘选
一个叫做tcpflow的新工具与tcpdump相辅相成,它提供协议流分析和适当地重构数据流的方法,而不管数据包的顺序或重发。
互联网摘选
这里涉及到了更多的Window Name协议,但是它必须在并不支持window.postMessage()的老式浏览器中使用。
互联网摘选
奥比万从睡椅上蹦起来,直冲小厨房,没想到竟一头撞上3PO,结果可想而知,绝地大师和协议机器人方向相反地倒到地板上。
互联网摘选
MAQF/MAC是一种新的MANET自适应QoS介质访问控制策略,该策略可以实时动态地测试网络资源,及时调整业务流对资源的访问和占用。
互联网摘选
A serial communication protocol used in the eddy current testing system is designed.
根据特定的电涡流检测系统设计了有效的串行通信协议.
互联网摘选
提出了一种采用按需路由发现策略的移动分组无线网多播路由协议.
互联网摘选
这里主要讨论了协商协议的规范化描述, 协商策略的表示和规划,以及协商中的建模问题.
互联网摘选
利用安全套接层 ( SSL ) 协议可有效地提高网络通信的安全.
互联网摘选
The frame of SGIP protocol and its application in railway passenger traffic were described.
详细阐述SGIP协议的框架及其在铁路客运中的应用.
互联网摘选
A New Hybrid Model of Communication Protocol Formal Description for Local Networking
局部网络通信协议形式描述的新混合模型
互联网摘选
Research on Mobile Geographical Information System Based on Wireless Application Protocol
基于无线应用协议的移动地理信息系统的研究
互联网摘选
在此基础上设计了介绍人协议,通过介绍人协议,互不相识的网络用户可以找到合适的介绍人建立信任,从而完成需要确保可信性的事务。
互联网摘选
The communication protocol on CAN buses was proposed and has been tested on the physical model.
提出了基于CAN总线 的分布式控制系统通讯协议,并在实物模型上调试通过.
互联网摘选
本文介绍了移动自组织网络及现有的适应于移动自组织网络的路由协议,提出了一种基于组移动技术的自适应区域路由协议AZR(Adaptive Zone Routing Protocol)。
互联网摘选
为了形式化验证数字现金的安全性,本文在经典一阶逻辑的基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型。
互联网摘选
