This is an illustrated guide that shows how to configure the various types of Network Address Translation (NAT) on the Juniper SRX series. Each example lists the configuration on the SRX, as well as what the client and server on either side of the SRX doing the NATing see and experience through working examples.
RFC3489 "STUN - Simple Traversal of User Datagram Protocol (UDP) Through Network Address Translators (NATs)"
RFC5389 "Session Traversal Utilities for NAT (STUN)"
RFC4787 "Network Address Translation (NAT) Behavioral Requirements for Unicast UDP"
RFC3947 "Negotiation of NAT-Traversal in the IKE"
RFC3948 "UDP Encapsulation of IPsec ESP Packets"
RFC2766 "Network Address Translation - Protocol Translation (NAT-PT)"
RFC4966 "Reasons to Move the Network Address Translator - Protocol Translator (NAT-PT) to Historic Status"
RFC3056 "Connection of IPv6 Domains via IPv4 Clouds"
RFC5569 "IPv6 Rapid Deployment on IPv4 Infrastructures (6rd)"
Junos OS for SRX Series Services Gateways, Release 12.1X46 Technical Documentation
KB Article on SRX Traffic Flows and Session Establishment