Models of Network Reliability: Analysis, Combinatorics, and Monte Carlo