中国最大的综合性文献数据库 -维普资讯 关键词: 密码协议 事件图 形式化模型 图元[gap=1364]Key words: Cryptographic protocol; Event graph; Formal model; Meta-graph
基于28个网页-相关网页
... formalized computer program ==> 形式化计算机程序 formalized model ==> 形式化模型 Formall process ==> 福马尔落锤深冲法 ...
基于26个网页-相关网页
...-维普资讯网 象Petri网（Object-Oriented Petrinets，OPN）为语义基础，建立了WSN形式化模型（Wireless Sensor Networks Model，WSNM）。在WSNM中，从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。
基于2个网页-相关网页
它为理解水资源持续利用提供了形式化模型。
It provides a formalized model for understanding sustainable utilization of water resources.
该形式化模型为入侵决策提供理论和方法支撑。
The model gives the theoretical and methodological support for intrusion response.
网络协议的形式化模型是协议分析和设计的核心技术之一。
The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.
应用推荐