×
汉斯·休特尔;迈克尔·D·佩德森。

静态等效的逻辑特征。 （英语） Zbl 1316.68096号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173139-157（2007）。
概要：Abadi和Fournet的工作引入了框架的概念，用于描述密码协议环境的知识。框架是术语列表；如果两个框架在条件上满足相同的方程，那么在静态等价的概念下它们是无法区分的。我们提出了一种基于环境知识的量化框架的一阶逻辑，该框架在一定的一般条件下具有静态等价性，并且易于构造特征公式。该逻辑可用于对环境知识进行推理，并可通过定义合适的签名和相关的方程理论来适应特定的应用。该逻辑还可以用模态进行扩展，以产生适用于例如pi演算的模态逻辑。
关于整个系列，请参见[Zbl 1273.68031号].

引用于2文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B70号 计算机科学中的逻辑
94A60型 密码学

关键词：

框架;静态等效;逻辑;密码协议;应用pi-calculus

软件：

开放SSL
PDF格式BibTeX公司 XML格式引用
\textit{H.Hüttel}和\textit{M.D.Pedersen}，电子。注释Theor。计算。科学。173139--157（2007年；Zbl 1316.68096）
全文： 内政部

参考文献：

[1] 马丁·阿巴迪；Cortier，Véronique，《在等式理论下决定安全协议的知识》（Proc.31 Int.Coll.Automata，Languages，and Programming），Proc.31 Int.Coll.Automata，Languages，and Programming，（ICALP’2004）。程序。第31国际学院。自动机、语言和编程。程序。第31国际学院。《自动化、语言与编程》（ICALP’2004），计算机科学讲义，3142（2004）），46-58·Zbl 1099.94026号
[2] 马丁·阿巴迪；Cortier，Véronique，在（更多）等式理论下决定安全协议的知识，（CSFW'05:第18届IEEE计算机安全基础研讨会论文集·Zbl 1099.94026号
[3] 马丁·阿巴迪；Fournet、Cedric、Mobile values、new names和secure communication，（POPL'01:第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（2005），ACM出版社），104-115·Zbl 1323.68398号
[4] 马丁·阿巴迪；Andrew D.Gordon，《密码协议演算：Spi演算》（第四届ACM计算机与通信安全会议（1997），ACM出版社），第36-47页·Zbl 0924.68073号
[5] 博雷尔，M。；Sangiorgi，D.，《无匹配的传名演算中的互模拟》，（第13届IEEE计算机科学逻辑研讨会论文集，第13届计算机科学逻辑IEEE研讨会论文集（LICS’98）（1998），IEEE计算机社会出版社）
[6] 米歇尔·博雷莱（Michele Boreale）；De Nicola，罗科；Pugliese，Rosario，《加密过程的证明技术》，SIAM J.Compute。，31, 3, 947-986 (2001) ·Zbl 1017.68050号
[7] Borgsteröm，Johannes，静态对等比知识更难，Elector。注释Theor。计算。科学。，154, 3, 45-57 (2006) ·Zbl 1273.94340号
[8] 弗伦德鲁普，乌尔里克；汉斯·Hüttel；Nyholm Jensen，Jesper，密码过程的模态逻辑，Electr。奈特斯·提奥（Netes Theor）。计算。科学。，36-47 (1997) ·兹比尔1270.03038
[9] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程的模态逻辑，理论计算机科学，114,1149-171（1993）·Zbl 0778.68033号
[10] Paulson，Lawrence C.，验证密码协议的归纳方法，计算机安全杂志，6，85-128（1998）
[11] 迈克尔·D·佩德森。“应用Pi演算的逻辑”，奥尔堡大学计算机科学系硕士论文（2006年）。金砖国家研究报告RS-19-06，http://www.brics.dk/RS/06/19/; 迈克尔·D·佩德森。“应用Pi演算的逻辑”，奥尔堡大学计算机科学系硕士论文（2006年）。金砖国家研究报告RS-19-06，网址：http://www.brics.dk/RS/06/19/
[12] OpenSSL：SSL/TLS的开源工具包
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。