scientific article; zbMATH DE number 5593275

zbMath1189.68075MaRDI QIDQ5192937

Wojciech Penczek, Mirosław Kurkowski

Publication date: 10 August 2009

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

zbMATH Keywords

model checkingauthenticationtimed security protocols

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• VerICS
• Uppaal
• Casper

This page was built for publication: