skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Security analysis of boolean algebra based on Zhang-Wang digital signature scheme

Journal Article · · AIP Conference Proceedings
DOI:https://doi.org/10.1063/1.4897785· OSTI ID:22307939
 [1]
  1. 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.
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