关于防护墙技术，下面哪些选项是正确的描述（）

A.应用网关主要检验通过此网关的所有数据包中的应用层数据

B.电路级网关主要检验数据包中所含的会话信息，只在会话层进行验证

C.包过滤用于在两个不同的安全级别的网络之间控制流入和流出网络的数据

D.Web代理支持内网用户通过Eudemon访问内网的web服务器资源，为用户提供基于http方式的web应用服务

生产矿井主要通风机必须装有反风设施，要求反风设施在（）内改变巷道的风流方向 。