Constructions And Analysis Of Secure Communication Protocols