scientific article; zbMATH DE number 5201489

zbMATH Open1157.94369MaRDI QIDQ5422283

Wojciech Penczek, Gizela Jakubowska

Publication date: 17 October 2007

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Related Items (4)

Constraints Solution for Time Sensitive Security Protocols ⋮ Analyzing security protocols using time-bounded task-PIOAs ⋮ Verification and modelling of authentication protocols ⋮ Title not available (Why is that?)

Uses Software

• Title not available (Why is that?)
• AVISPA
• Casper

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422283)