REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3636
Tytuł: Formalization of the Data Encryption Standard
Autorzy: Okazaki, Hiroyuki
Shidama, Yasunari
Data wydania: 2012
Data dodania: 6-gru-2015
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 20, Issue 2, 2012, Pages 125-146
Abstrakt: In this article we formalize DES (the Data Encryption Standard), that was the most widely used symmetric cryptosystem in the world. DES is a block cipher which was selected by the National Bureau of Standards as an official Federal Information Processing Standard for the United States in 1976 [15].
Afiliacja: Okazaki Hiroyuki - Shinshu University, Nagano, Japan
Shidama Yasunari - Shinshu University, Nagano, Japan
Sponsorzy: This work was supported by JSPS KAKENHI 21240001
URI: http://hdl.handle.net/11320/3636
DOI: 10.2478/v10037-012-0016-y
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2012, Volume 20, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
v10037-012-0016-y.pdf307,67 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons