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

机译：隐私，抽象加密和协议：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.

机译：我们基于Gurevich的Abstract State Machines，使用规范语言AsmL引入了抽象加密的可执行形式模型，该模型提供了用于加密协议的简单可执行模型。我们在模式，协议角色和环境行为的描述中显示出强大的通用性-在相同的信息下，没有ASM程序可以做得更好。

著录项

来源
《10th International Workshop on Abstract State Machines 2003: Advances in Theory and Practice ASM 2003, Mar 3-7, 2003, Taormina, Italy》|2003年|p.372-390|共19页
会议地点 Taormina(IT);Taormina(IT)
作者
Dean Rosenzweig; Davor Runje; Neva Slani;
展开▼
作者单位

University of Zagreb;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Privacy-enhancing distributed protocol for data aggregation based on blockchain and homomorphic encryption [J] . Cristina Regueiro, Inaki Seco, Santiago de Diego, Information Processing & Management . 2021,第6期

机译：基于区块链和均匀加密的数据聚合的隐私增强分布式协议
2. Blind Batch Encryption-Based Protocol for Secure and Privacy-Preserving Medical Services in Smart Connected Health [J] . Wang Zhiwei Internet of Things Journal, IEEE . 2019,第6期

机译：基于盲批处理加密的协议，用于智能连接健康的安全和隐私保留医疗服务
3. Privacy preserving secret key extraction protocol for multi-authority attribute-based encryption techniques in cloud computing [J] . P.G. Shynu, K. John Singh International Journal of Embedded Systems . 2018,第4期

机译：隐私保留云计算中基于多权力属性的加密技术的密钥提取协议
4. Privacy, Abstract Encryption and Protocols: An ASM Model-Part I [C] . Dean Rosenzweig, Davor Runje, Neva Slani International Workshop on Abstract State Machines . 2003

机译：隐私，抽象加密和协议：ASM模型 - 第一部分
5. Performance comparison between Ad Hoc On Demand Distance Vector and Dynamic Source Routing Protocols with security encryption using OPNET [D] . Jafferi, Jaseem 2012

机译：使用OPNET与安全加密的需求距离矢量与动态源路由协议的性能比较
6. Abstract: Striving for Transfusion-Free Open Cranial Vault Remodeling: A Novel Protocol [O] . David E. Kurlander, Mona Ascha, Danielle Marshall, 2017

机译：摘要：努力实现无输血开放性颅骨金库重塑：一种新型协议
7. Privacy, Abstract Encryption and Protocols: an ASM Model – Part I [O] . Dean Rosenzweig, Davor Runje, Neva Slani 2008

机译：隐私，抽象加密和协议：ASM模型–第一部分
8. Accelerator System Model (ASM) user manual with physics and engineering model documentation. ASM version 1.0 [R] . 1993

机译：加速器系统模型（asm）用户手册，包含物理和工程模型文档。 asm版本1.0

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

摘要

著录项

相似文献

相关主题

期刊订阅