Difference of Function on Vector Space over F
Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki (2014)
Formalized Mathematics
Similarity:
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...