Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: difference of function on vector space over F

Sortuj według:

Ogranicz wyniki do:

Difference of Function on Vector Space over F

100%

Arai K., Wakabayashi K., Okazaki H.

Formalized Mathematics

2014

tom 22

nr 3

269-275

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.

Ograniczanie wyników

1 Formalized Mathematics

1 Arai K.

1 Okazaki H.

1 Wakabayashi K.

1 2014

Wyniki wyszukiwania

Difference of Function on Vector Space over F