scientific article; zbMATH DE number 5061971
From MaRDI portal
Publication:5491199
zbMath1104.68486MaRDI QIDQ5491199
Huowang Chen, Zhou-Jun Li, Mengjun Li
Publication date: 10 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25) Network protocols (68M12)
Related Items (4)
Constraint Abstraction in Verification of Security Protocols ⋮ A Novel Derivation Framework For Definite Logic Program ⋮ Modeling and Verifying Time Sensitive Security Protocols with Constraints ⋮ SPVT-II
Uses Software
This page was built for publication:
