Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
type: Item
instance of: scholarly article
title: Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
zbMATH Open document ID: 1072.68535
published in: Science of Computer Programming
publication date: 2004-11-22T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 2117388
zbMATH Keywords: Cryptographic protocols
zbMATH Keywords: Formal methods
zbMATH Keywords: Requirements engineering
author: Catherine Meadows
MaRDI profile type: Publication
full work available at URL: j.scico.2003.12.001
OpenAlex ID: W1973045663
DOI: 10.1016/J.SCICO.2003.12.001
Recommended article: Q4417879
Recommended article: Q4341785
Recommended article: Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later
Recommended article: Theory and Applications of Satisfiability Testing
Recommended article: A formal language for cryptographic protocol requirements
Recommended article: Q3211248
Recommended article: Mathematical Foundations of Computer Science 2003
Recommended article: Q4817437
description: scientific article; zbMATH DE number 2117388