Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3723
Tytuł: | Difference of Function on Vector Space over F |
Autorzy: | Arai, Kenichi Wakabayashi, Ken Okazaki, Hiroyuki |
Słowa kluczowe: | Mizar formalization difference of function on vector space over F |
Data wydania: | 2014 |
Data dodania: | 9-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 22, Issue 3, 2014, Pages 269-275 |
Abstrakt: | In [11], the definitions of forward difference, backward difference, and central difference as difference operations for functions on R were formalized. However, the definitions of forward difference, backward difference, and central difference for functions on vector spaces over F have not been formalized. In cryptology, these definitions are very important in evaluating the security of cryptographic systems [3], [10]. Differential cryptanalysis [4] that undertakes a general purpose attack against block ciphers [13] can be formalized using these definitions. In this article, we formalize the definitions of forward difference, backward difference, and central difference for functions on vector spaces over F. Moreover, we formalize some facts about these definitions. |
Afiliacja: | Arai Kenichi - Tokyo University of Science Chiba, Japan Wakabayashi Ken - Shinshu University Nagano, Japan Okazaki Hiroyuki - Shinshu University Nagano, Japan |
URI: | http://hdl.handle.net/11320/3723 |
DOI: | 10.2478/forma-2014-0027 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2014, Volume 22, Issue 3 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2014-0027.pdf | 242,94 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL