scientific article; zbMATH DE number 5201495

zbMath1119.94010MaRDI QIDQ5422290

Wojciech Penczek, Mirosław Kurkowski

Publication date: 17 October 2007

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

zbMATH Keywords

model checkingauthenticationsecurity protocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Related Items (1)

Using probabilistic automata for security protocols verification

Uses Software

• Kronos
• TAPS
• Casper

This page was built for publication: