Models of Network Reliability (Analysis, Combinatorics, and Monte Carlo)