Kore Halk Ordusu Hava ve Hava Savunma Kuvvetleri
Kore Halk Ordusu Hava ve Hava Savunma Kuvvetleri ( Chosŏn inmin'gun hangkong mit banhangkonggun), Kore Halk Ordusu'nun hava kuvvetleridir. 1945 yılında kurulmuş olup görevi Kuzey Kore hava sahasını savunmaktır. 110,000 personeli ile Kore Halk Ordusu'nun ikinci büyük branşıdır ve çoğunluğu on yıllardır eski Sovyet ve Çin menşeli olmak üzere farklı tiplerde 946 uçağa sahiptir.