Web security: Authentication protocols and their analysis

DOI10.1007/BF03037600MaRDI QIDQ5945162zbMATH OpenFDO

Authors Wu Wen, Fumio Mizoguchi

Publication date 4 December 2001

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF03037600

zbMATH Keywords

authenticationcomputer securitysecure socket layer

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 2112369
• Formal analysis and parallelism in protocols
• scientific article; zbMATH DE number 2143936
• Formal Methods for Assuring Security of Protocols
• Operational semantics and verification of security protocols.

Cites work

• A logic of authentication
• scientific article; zbMATH DE number 1440067 (Why is no real title available?)
• The NRL Protocol Analyzer: An Overview
• Using encryption for authentication in large networks of computers

Cited in

(5)

• Formal Methods for Assuring Security of Protocols
• scientific article; zbMATH DE number 1941256 (Why is no real title available?)
• scientific article; zbMATH DE number 1759649 (Why is no real title available?)
• scientific article; zbMATH DE number 2090938 (Why is no real title available?)
• The main stages of development of the cryptographic protocols SSL/TLS and IPsec

Describes a project that uses

Uses Software

• NRL

This page was built for publication: Web security: Authentication protocols and their analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5945162)