下载频道 >  oohurbert 的资源
  • 基于进程演算的安全协议形式化研究

    国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于进程演算的方法三种。其中,进程演算对于协议的描述几乎接近协议的本身含义,可以很精确地刻划协议的运行过程。使用进程演算对安全协议分析和验证时,协议的每一个主体都被建模为一个单独的进程,这些子进程并发运行,并使用进程

    进程演算 形式化

    2009-11-19
    3
  • C语言标准与实现.pdf

    C语言标准与实现,学C学得很容易! 从编译、链接,到二进制代码的实现,都分析得很透彻。让读者知道C程序的编写到运行的全过程,让人有相见恨晚的感觉!!!

    C语言

    2009-04-30
    3
  • Web应用防火墙评估准则

    翻译自“Web Application Firewall Evaluation Criteria.txt”,Web应用防火墙评估准则

    Web应用防火墙 网络安全

    2009-02-11
    3
  • 傍路阻断技术对数据包进行过滤

    接入控制,旁路阻断,不改变原有的部署和拓扑。

    网络安全

    2009-02-11
    2
img
oohurbert

关注

积分 15

他的名片

img