A stochastic model for layered defense: Ballistic missile defense and harbor protection | IEEE Conference Publication | IEEE Xplore