Improvement of authentication test based on strand spaces model

DOI10.3724/SP.J.1087.2008.03205zbMATH Open1171.68354OpenAlexW2011167679MaRDI QIDQ3399563FDOQ3399563

Authors: Yan-Ping Fang, Xiaofang Zhang, Guangquan Zhang 

Publication date: 12 October 2009

Published in: Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1087.2008.03205

Recommendations

• Analysis of security protocols based on authentication test
• scientific article; zbMATH DE number 2112369
• Study on strand space model theory
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2242702

zbMATH Keywords

cryptographic primitivesauthentication testproperty of authenticationSSL3. 0 handshaking protocolstrand spaces model

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Cited In (3)

• Title not available (Why is that?)
• Analysis of security protocols based on authentication test
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Improvement of authentication test based on strand spaces model

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