DiceLockXTSDigestedFullBasedCheck is a C++ program to verify that DiceLockXTSDigested class implementing one of DiceLock different architectures is working as expected.
DiceLockXTSDigested class is the cryptographic architecture aimed to storage devices based on XTS operation mode (XEX-based tweaked-codebook mode with ciphertext stealing encryption algorithm) and providing same intrinsic characteristics of DiceLock cipher architecture.
DiceLockXTSDigested class is the class that implements DiceLock architecture with the following characteristics:
– storage devide sector length is any value multiple of 128 bits bigger than 512 bits,
– base encryption cipher/decipher is a block cipher working with symmetric key,
– any hash digest algorithm is used to generate message hash digest from plaintext to be encrypted,
– ciphertext plus ciphered hash digest of plaintext is checked for random number test properties,
– any function that is able to change original symmetric key with new values,
– bit random number tests that can verify that encrypted ciphertext is at random.
Current algorithm classes that can be used with DiceLockXTSDigested architecture are:
– as base encryption cipher/decipher:
– hash digest algorithms: Sha 1, Sha 224, Sha 256, Sha 384, Sha 512, Ripemd 128, Ripemd 160, Ripemd 256, Ripemd 320, Md 2, Md 4 and Md5,
– symmetric key changers: IncreaseKeyModifier_6_0_0_1 and DecreaseKeyModifier_6_0_0_1,
– random number tests: Frequency, Block Frequency, Cumulative Sum Forward, Cumulative Sum Reverse, Runs, Longest Run Of Ones, Rank, Universal, Approximate Entropy, Serial, Discrete Fourier Transform tests and random number test Suite with any or all previous enumerated random number tests.
Because DiceLockXTSDigested class can work on full length plaintext length or sector based length, there are different alternatives for encryption/decryption, we have split DiceLockXTSDigested class tests in two main C++ program tests:
– DiceLockXTSDigestedSectorBasedCheck C++ Source Code program applying DiceLockXTSDigested encryption/decryption on sector base,, and
– DiceLockXTSDigestedFullBasedCheck C++ Source Code program applying DiceLockXTSDigested encryption/decryption on full plaintext length basis,.
In this test we verify DiceLockXTSDigestedFullBasedCheck C++ Source Code program encryption/decryption on device storage sector base with the configuration shown below.
While performing internal software quality assurance we have verified that DiceLockXTSDigestedSectorBasedCheck in debug mode does not generate any memory leaks with any executed option.
Debug mode was run with the corresponding debugger and the C Run-Time Libraries (CRT) debug heap functions as well as with dump memory leak information function that can be obtained executing “_CrtDumpMemoryLeaks” statement before program ends execution.
In this test we have selected this DiceLock configuration:
DiceLock class: DiceLockXTSDigested
Storage devide sector length in bytes = 512, 1024, 1536, 2048, 2560, 3072, 3584, 4096, 16384, 32768, (selected in a random basis),
Encryption block cipher: AES 256 block cipher
Hash algorithm: Sha 512 hash digest algorithm
Random number test: Frequency
Random number test: Block Frequency
Random number test: Cumulative Sum Forward
Random number test: Longest Run of Ones
Random number test: Runs
All random number test significance level: Alpha = 0.001 (confidence level of 99.9%)
Symmetric key modifier class: IncreaseKeyModifier_6_0_0_1 key modifier
Bit stream class: DefaultCryptoRandomStream bit data stream
DefaultCryptoRandomStream class makes use of default virtual memory where the system can move pages of physical memory to and from a paging file on disk (manipulation of physical memory by the system is completely transparent to applications).
At post bottom there are C++ Source Code links to all DiceLock cipher files being used to perform this configuration test.
Execution call has been:
– DiceLockXTSDigestedSectorBasedCheck 2400 DiceLock-8-0-0-1-DiceLockXTSDigested-Sector-AES-256-Sha-512-Frequency-Block-Frequency-CuSum-Forward-Longest-Run-Of-Ones-Runs-Incr-Key-Default-memory.log
In the following post you can find DiceLockXTSDigestedSectorBasedCheck C++ source code that has been executed where you can see how DiceLockXTSDigested class can work with all different options:
And the result we’ve gotten is:
Verified: --------- DiceLock-8-0-0-1-DiceLockXTSDigested-Sector-AES-256-Sha-512-Frequency-Block-Frequency-CuSum-Forward-Longest-Run-Of-Ones-Runs-Incr-Key-Default-memory.log Number of streams tested: 62500 From length of shorter stream tested in bits: 8 Up to length of larger stream tested in bits: 500000 Number of correct streams deciphered: 62500 Number of incorrect streams deciphered: 0 Incorrect deciphered streams = 0 ==> ---OK--- Total encrypted streams with at least one sector being reciphered: 4422 Maximum number of reciphers performed over one stream being reciphered: 4 File with reciphered stream data: DiceLock-8-0-0-1-DiceLockXTSDigested-Sector-AES-256-Sha-512-Frequency-Block-Frequency-CuSum-Forward-Longest-Run-Of-Ones-Runs-Incr-Key-Default-memory.log.reciphered
Original output log file from DiceLockXTSDigestedSectorBasedCheck execution:
From log file we can see that all randomized-encrypted text sequences have been correctly deciphered.
While DiceLockXTSDigestedSectorBasedCheck was executed a log file of reciphered (plaintext sequences being ciphered more than one time in order to get sequences at random) text sequences has been stored.
DiceLockXTSDigestedFullBasedCheck reciphers log file is composed of rows, and each row shows hexadecimal value for each byte of symmetric key and plaintext, plaintext length in bits, storage device sector length in bytes, data unit value, start block value within data unit, and number of reciphers executed with such plaintext and symmetric key.
Reciphers log file:
This output file will allow us to extract statistical information and to verify DiceLock cipher architecture execution between different operating system environments.
So, DiceLock cipher test and analysis can go on …
DiceLock is a trademark or registered trademark of his owner where applies. DiceLock research is the research to implement Self-corrector randomisation-encryption and method, european patent EP1182777 granted 08/21/2003 and US patent US7508945 granted 03/24/2009.