scientific article; zbMATH DE number 1304004
From MaRDI portal
Publication:4250674
zbMath0926.68051MaRDI QIDQ4250674
Jianying Zhou, Dieter Gollmann
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
On-the-Fly Model Checking of Fair Non-repudiation Protocols ⋮ Non-repudiation analysis using \textsc{LySa} with annotations ⋮ Assume-guarantee synthesis for digital contract signing ⋮ Formal modeling and analysis of fairness characterization of E-commerce protocols
This page was built for publication:
