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