Privacy, Abstract Encryption and Protocols: An ASM Model - Part I

Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
复制标题

隐私、抽象加密和协议：ASM 模型 - 第一部分

DOI：
--
复制
发表时间：
2003
期刊：
Abstract State Machines
影响因子：
--
通讯作者：
Neva Slani
Neva Slani
中科院分区：
--
文献类型：
--
作者：
Dean Rosenzweig;D. Runje;Neva Slani

文献摘要

被引文献

相似文献

基于Gurevich的抽象状态机，我们使用规范语言AsmL引入了抽象加密的可执行形式化模型，为密码协议提供了简单的可执行模型。我们对模式、协议角色和环境行为的描述表现出了很强的通用性——在给定相同信息的情况下，没有 ASM 程序可以做得更好。
We introduce an executable formal model of abstract encryption using the specification language AsmL, based on Abstract State Machines of Gurevich, providing a simple executable models for cryptographic protocols. We show strong universality properties of our descriptions of patterns, protocol roles and environment behaviors--no ASM program can do better, given the same information.