Information-theoretically secure protocols and security under composition