Equal To The Task?

DOI10.1007/3-540-45853-0_10zbMath1483.68043OpenAlexW1554496827MaRDI QIDQ5030181

James Heather, S. A. Schneider

Publication date: 16 February 2022

Published in: Computer Security — ESORICS 2002 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45853-0_10

zbMATH Keywords

RSArank functionscryptographic protocolssecurity verificationstrand spacessecurity modelsinequality testsdata independenceformal methods in security

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12) Computer security (68M25)

Cites Work

• Unnamed Item
• Authentication tests and the structure of bundles.
• Low-Exponent RSA with Related Messages
• Safety alternating automata on data words
• On the security of public key protocols
• A method for obtaining digital signatures and public-key cryptosystems
• Using encryption for authentication in large networks of computers