Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.

同时，用形式化的方法验证了协议，并编写NDIS中间层驱动程序实现了协议。

youdao

This paper discusses how to use NTDDK to develop intermediate drivers under environment of WIN2K and Intercepts IP packet with this driver.

文章主要讨论在WIN2K环境下利用NTDDK开发中间驱动程序，并且利用该驱动程序拦截IP包。

youdao

NDIS is a kind of network protocol standard which supports the network drivers of three kinds: NIC drivers, intermediate drivers and protocol drivers.

NDIS是一种网络协议规范，它支持三种类型的网络驱动程序：网卡驱动程序、中间驱动程序、协议驱动程序。

youdao

As the track dried in the second session, Brawn opted not to put their drivers on intermediate tyres, and while Barrichello just made the cut for the top-10 shootout, Button missed out.

BBC: Button fears title blow in Brazil

Once licensed, teen drivers must go through an intermediate stage for a set period that limits unsupervised driving at certain times, with most states limiting the number of non-family-member passengers and imposing other restrictions.

FORBES: What To Do About The Sudden Surge In Teen Traffic Deaths