Security analysis of boolean algebra based on Zhang-Wang digital signature scheme
Journal Article
·
· AIP Conference Proceedings
- School of Mathematics and Computer Science, Long Yan University, Longyan 364012 (China)
In 2005, Zhang and Wang proposed an improvement signature scheme without using one-way hash function and message redundancy. In this paper, we show that this scheme exits potential safety concerns through the analysis of boolean algebra, such as bitwise exclusive-or, and point out that mapping is not one to one between assembly instructions and machine code actually by means of the analysis of the result of the assembly program segment, and which possibly causes safety problems unknown to the software.
- OSTI ID:
- 22307939
- Journal Information:
- AIP Conference Proceedings, Vol. 1618, Issue 1; Conference: ICCMSE 2014: International conference on computational methods in science and engineering 2014, Athens (Greece), 4-7 Apr 2014; Other Information: (c) 2014 AIP Publishing LLC; Country of input: International Atomic Energy Agency (IAEA); ISSN 0094-243X
- Country of Publication:
- United States
- Language:
- English
Similar Records
Robbins algebra : conditions that make a near-Boolean algebra Boolean.
Detecting Emergent Behaviors with Semi-Boolean Algebra
Short single axioms for boolean algebra.
Journal Article
·
Mon Jan 01 00:00:00 EST 1990
· J. Automat. Reason.
·
OSTI ID:22307939
Detecting Emergent Behaviors with Semi-Boolean Algebra
Conference
·
Fri Jan 01 00:00:00 EST 2010
·
OSTI ID:22307939
Short single axioms for boolean algebra.
Journal Article
·
Tue Jan 01 00:00:00 EST 2002
· J. Automat. Reason.
·
OSTI ID:22307939
+3 more