On the role of formal methods in security
type: Item
instance of: scholarly article
title: On the role of formal methods in security
zbMATH Open document ID: 1003.68045
DOI: 10.1016/S0020-0190(00)00216-7
author: R. Smith
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1771805
zbMATH Keywords: cryptography
zbMATH Keywords: security
MaRDI profile type: Publication
cites work: A logic of authentication
cites work: Q4941869
cites work: Towards sound approaches to counteract power-analysis attacks
full work available at URL: s0020-0190(00)00216-7
OpenAlex ID: W1968171152
description: scientific article; zbMATH DE number 1771805