作者：缪祥华; 何大可逻辑语义安全协议串空间
摘要：文献[1]中提出了一种分析和设计安全协议的新逻辑．协议分析者可以用该逻辑来对安全协议进行分析，而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议．文献[1]没有给出该逻辑的形式化语义，因为串空间模型具有良好的语义。现将新逻辑和串空间模型结合起来，给出新逻辑的串空间语义，并运用该语义证明了新逻辑的推理规则是正确的．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《云南民族大学学报·自然科学版》（CN：53-1192/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《云南民族大学学报·自然科学版》主要刊载民族学、社会学、少数民族哲学、经济、历史、文化、宗教、语言、文学等方面的研究论文及调查报告。内容注重民族特色，强调理论深度，关注学术前沿，面向全国社会科学界，为提高教学质量和培养少数民族的理论研究人才服务。
杂志详情
