Security Formalizations and Their Relationships for Encryption and Key Agreement in Information-Theoretic Cryptography