Formalization of the Data Encryption Standard.

Hiroyuki Okazaki Yasunari Shidama

Published in: Formaliz. Math. (2012)

Keyphrases

data encryption standard
encryption algorithms
cryptographic algorithms
image encryption
knowledge representation
security protocols
information systems
digital images
high security
advanced encryption standard