Improvement of authentication test based on strand spaces model

DOI10.3724/SP.J.1087.2008.03205MaRDI QIDQ3399563zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2112369 (Why is no real title available?)
• Analysis of security protocols based on authentication test

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)