Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.
同时，用形式化的方法验证了协议，并编写NDIS中间层驱动程序实现了协议。
NDIS is a kind of network protocol standard which supports the network drivers of three kinds: NIC drivers, intermediate drivers and protocol drivers.
NDIS是一种网络协议规范，它支持三种类型的网络驱动程序：网卡驱动程序、中间驱动程序、协议驱动程序。
应用推荐