我有一个服务器2008 R2,我每天维护.服务器运行良好,但它一直给我发送事件2019年错误日志。"The server was unable to allocate from the system nonpaged pool because the pool was empty.“我检查了Task的->性能,看看它是否在系统上分配了非页面内存。我只是想知道,这个错误也许是在试图说或警告我。
谢谢
我是ProVerif的新手,并试图验证一个简单的DHKE协议。攻击者被认为是被动的。规格如下:两个参与者都获得相同的密钥。type G. (* The generator *)free c02, c12: channel [private].free msg, sameKey: bitstring [private].
fu