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