This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

  • 本文基于Objective Caml语言,实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

  • 互联网摘选 2025-01-20 17:22:10

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句