Modeling adversaries in a logic for security protocol analysis
type: Item
instance of: scholarly article
zbMATH Open document ID: 1238.94029
DOI: 10.2168/LMCS-8(1:21)2012
author: Joseph Y. Halpern
author: Riccardo Pucella
published in: Logical Methods in Computer Science
publication date: 2012-04-03T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 03B42
zbMATH DE Number: 6021338
zbMATH Keywords: protocol analysis
zbMATH Keywords: security
zbMATH Keywords: attacker models
zbMATH Keywords: Dolev-Yao model
zbMATH Keywords: epistemic logic
zbMATH Keywords: algorithmic knowledge
describes a project that uses: Casper
MaRDI profile type: Publication
full work available at URL: lmcs-8(1:21)2012
OpenAlex ID: W2762642064
title: Modeling adversaries in a logic for security protocol analysis
description: scientific article; zbMATH DE number 6021338