Paper 2023/1487

A Novel Mathematical Formal Proof in Unreliability Protocol with XOR in Two's Complement System

Chenglian Liu, Software Engineering Institute of Guangzhou
Sonia Chien-I Chen, Qingdao University
Abstract

Exclusive OR (XOR), a common Boolean logical operation, is an operation on two factors where the result is true if and only if one operand is true and the other is false. A simple way to state this is ``one or the other, but not both''. Using this logical operation, a text string can be encrypted by applying the XOR operator to every character using a ``key''. If you want to decrypt the output, simply reapply the key and the resulting output will be the original message.

Metadata
Available format(s)
PDF
Category
Attacks and cryptanalysis
Publication info
Preprint.
Keywords
Digital SignatureOne-Way Hash FunctionMessage RedundancyForgery Attack
Contact author(s)
897599247 @ qq com
drsoniachen @ mail com
History
2023-10-02: approved
2023-09-29: received
See all versions
Short URL
https://ia.cr/2023/1487
License
Creative Commons Attribution-NonCommercial-NoDerivs
CC BY-NC-ND

BibTeX

@misc{cryptoeprint:2023/1487,
      author = {Chenglian Liu and Sonia Chien-I Chen},
      title = {A Novel Mathematical Formal Proof in Unreliability Protocol with XOR in Two's Complement System},
      howpublished = {Cryptology ePrint Archive, Paper 2023/1487},
      year = {2023},
      note = {\url{https://eprint.iacr.org/2023/1487}},
      url = {https://eprint.iacr.org/2023/1487}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.