Currently, North Korea is increasing strategic weapons such as MIG-29, SUCD missle, Nodong #1 missle, etc. This paper focuses on developing the deciding the number of aircraft required for air to surface mission against strategic targets in North Korea. The model is developed under assumptions that weapon types of aircrafts are known and killing probabilities in each case can be estimated. The model is derived on the basis of the TAIM(Theater Air Interdiction Model) which is used in DOD of U.S.A. We utilizes recursive linear programming and dynamic technique in the model in order to solve aircraft allocations for strategic targets which are provided in day time basis. The required number of aircrafts can be obtained from the model output. Finally an example problem is solved using techniques developed in the paper.