Security properties: two agents are sufficient
type: Item
instance of: scholarly article
title: Security properties: two agents are sufficient
zbMATH Open document ID: 1073.68028
author: Hubert Comon-Lundh
author: Véronique Cortier
published in: Science of Computer Programming
publication date: 2004-11-22T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 2117390
zbMATH Keywords: Cryptographic protocols
zbMATH Keywords: Authentication
zbMATH Keywords: Secrecy
zbMATH Keywords: Agent identities
zbMATH Keywords: Horn clauses
MaRDI profile type: Publication
full work available at URL: j.scico.2003.12.002
OpenAlex ID: W1836114257
Wikidata QID: Q115037039
DOI: 10.1016/J.SCICO.2003.12.002
Recommended article: Q4417886
Recommended article: Secure agents
Recommended article: Progress in Cryptology – Mycrypt 2005
Recommended article: Information and Communications Security
Recommended article: Q4424381
Recommended article: Q4412179
Recommended article: Compositional refinement in agent-based security protocols
Recommended article: Two is better than one: How to securely combine two assumptions
description: scientific article; zbMATH DE number 2117390