注意,集合(set)与多重集合(Multisets)的内部数据组织是一颗红黑树(一种非严格意义上的平衡二叉树),这颗树具有对数据自动排序的功能,因此,set和Mutilset内部的所有数...
基于4个网页-相关网页
The model uses strongly typed multiset rewriting over firs order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of fresh data.
MSR用基于一阶原子公式的类型化的多重集重写规则描述协议动作,用存在量词模拟新鲜数的产生,是一种精确、灵活的密码协议形式化模型。 本文所做的工作主要有以下几点:1) 分析研究了基于多重集重写的MSR模型及相关理论。
参考来源 - 基于多重集重写的密码协议形式化分析技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐