Secure Efficient Cross-domain Protocols