scientific article; zbMATH DE number 5499362

zbMath1160.68443MaRDI QIDQ5506380

Wojciech Penczek, Alessio Lomuscio

Publication date: 28 January 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic verification of security protocolsmulti-agent systems semanticstemporal-epistemic security-specialised logic

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Unnamed Item

This page was built for publication: