Theorem-proving anonymity of infinite-state systems
type: Item
instance of: scholarly article
title: Theorem-proving anonymity of infinite-state systems
zbMATH Open document ID: 1185.68627
author: Yoshinobu Kawabe
author: Ken Mano
author: Hideki Sakurada
author: Yasuyuki Tsukada
published in: Information Processing Letters
publication date: 2010-01-29T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5664731
zbMATH Keywords: anonymity
zbMATH Keywords: verification
zbMATH Keywords: infinite-state system
zbMATH Keywords: I/O-automaton
zbMATH Keywords: theorem proving
zbMATH Keywords: formal methods
zbMATH Keywords: safety/security in digital systems
MaRDI profile type: Publication
full work available at URL: j.ipl.2006.06.016
OpenAlex ID: W2045649582
cites work: Private authentication
cites work: Forward and backward simulations. I. Untimed Systems
cites work: CSP and anonymity
DOI: 10.1016/J.IPL.2006.06.016
description: scientific article; zbMATH DE number 5664731