scientific article; zbMATH DE number 1956549

zbMath1032.94510MaRDI QIDQ4417888

Enrico Locatelli, Fabio Martinelli, Roberto Gorrieri

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180114.htm

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

Mathematics Subject Classification ID

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

Related Items (4)

Constraint Abstraction in Verification of Security Protocols ⋮ Unnamed Item ⋮ Persistent Stochastic Non-Interference ⋮ Modeling and Verifying Time Sensitive Security Protocols with Constraints

This page was built for publication: