scientific article; zbMATH DE number 1104389

zbMATH Open0885.68100MaRDI QIDQ4370271

Author name not available (Why is that?)

Publication date: 3 May 1998

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

zbMATH Keywords

abstract specification

Mathematics Subject Classification ID

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

Related Items (1)

On the security of SPLICE/AS -- The authentication system in WIDE Internet

Recommendations

• An approach for formal verification of authentication protocols 👍 👎
• Programming Languages and Systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4370271)