Security of Analysis Mutual Authentication And Key Exchange for Low Power Wireless CommunicationsI

Liu, Chenglian; Chen, Sisheng; Sun, Shuliang

doi:10.1016/j.egypro.2012.02.148

Search citation statements

Order By: Relevance

Paper Sections

Select...

The Boolean Algebra Expression1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2016

2023

Publication Types

Select...

Article2

Other2

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The XOR usually applied for adder, cryptosystem, image process and other applications. We can infer the Lemma 1 to Lemma 4 [4,14]. Lemma 1.…”

Section: The Boolean Algebra Expressionmentioning

confidence: 99%

A Novel Mathematical Formal Proof in Zhang-Wang's Cryptographic Algorithm

Yang¹

2021

converter

View full text Add to dashboard Cite

Formal verification is to use mathematical methods to prove that our scheme is correct. This scheme is just a pronoun. It may be expressed as a hardware, a software or an algorithm. Errors in hardware are more difficult to modify than errors in software, so formal proofs and inspections often appear in the argument for hardware design. But, it does not mean that the software does not need to be formally verified. In addition to digital circuits or combinational circuits, cryptographic protocols also need to be formally verified. Formal proof can only ensure whether the result of logical inference is consistent with the previous stage, and can not guarantee whether there are defects in the process of logical inference. In this article the authors take as an example of Zhang-Wang's digital signature algorithm, and point out two formal proof methods of Boolean algebra and Galois field respectively.

show abstract

“…The XOR usually applied for adder, cryptosystem, image process and other applications. We can infer the Lemma 1 to Lemma 4 [4,14]. Lemma 1.…”

Section: The Boolean Algebra Expressionmentioning

confidence: 99%