Protocols for Electronic Negotiation Systems: Theoretical Foundations and Design Issues