An analysis of integrity services in protocols

DOI10.1007/3-540-45311-3_17MaRDI QIDQ4788574zbMATH OpenFDO

Authors K. Viswanathan, Ed Dawson, Colin A. Boyd

Publication date 19 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45311-3_17

zbMATH Keywords

confidentialityelectronic cash systemintegrity serviceskey-recovery systemsignature

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 2111736
• Integrity and consistency for untrusted services (extended abstract)
• A framework for the analysis of security protocols
• A novel framework for protocol analysis
• Towards the correctness of security protocols
• Protocol security analysis based on an ideal
• scientific article; zbMATH DE number 1390339
• scientific article; zbMATH DE number 2163007
• A formal analysis of the CORBA security service

Cited in

(1)

• Crypto-integrity

This page was built for publication: An analysis of integrity services in protocols

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