1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. Java

nist -过渡模型的安全属性验证 Security Property Verification by Transition Model.pdfVIP

  • 4
  • 0
  • 约7.01万字
  • 约 33页
  • 2026-04-28 发布于广东
  • 举报

nist -过渡模型的安全属性验证 Security Property Verification by Transition Model.pdf

    NISTInternalReport

    NISTIR8539

    SecurityPropertyVerification

    byTransitionModel

    VincentC.Hu

    Thispublicationisavailablefreeofchargefrom:

    /10.6028/NIST.IR.8539

    NISTInternalReport

    NISTIR8539

    SecurityPropert

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >