Provably secure constructions in cryptography. Weak definitions of security and cryptographic constructions that can be proven secure under these definitions