scientific article; zbMATH DE number 2044523

zbMath1042.68569MaRDI QIDQ4448386

Javier Lopez, S. Gürgens

Publication date: 18 February 2004

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

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

zbMATH Keywords

electronic commerceSecurity analysisautomatic theorem provingcryptographic protocolprotocol validation

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Data encryption (aspects in computer science) (68P25)

Uses Software

• Unnamed Item

This page was built for publication: