This paper introduces a novel dynamic modeling formulation for spaceflight logistics network. The formulation is based on dynamic extension of Generalized Multi-Commodity Network Flow (GMCNF) formulation and enables optimization of campaign-level spaceflight logistics using linear programming. A time-expanded network is used for multi-period modeling so that the “time paradoxes” existing in the conventional formulation can be resolved. This formulation can be used for architecture trades as well as evaluation of potential effects of in-orbit infrastructure such as depots and In-Situ Resource Utilization (ISRU). Preliminary results include ISRU self-sustained deployment strategy, and its numerical performance comparison with the conventional strategy is shown.