Abstract. K--meson production in proton-nucleus interactions at projectile energies up to 15 GeV is studied. As a first step the available data on K--meson production in pp interactions are compared with different parametrizations and results of model calculations. Because of considerable uncertainties in the current descriptions of the energy dependence of the elementary K-cross section a new parametrization is suggested. Experimental data on K-production in pA collisions are analyzed in the framework of the RossendorfCollision and folding models. Satisfactory descriptions of the momentum spectra at forward angles are achieved. From an analysis of the A dependence it can be concluded that Kmesons are well suited to investigate final-state interactions for particles interacting strongly with the residual nucleus. Furthermore, we propose experimental studies on K-production close to threshold. Such measurements are particularly sensitive to contributions from secondary processes or from multi-nucleon interactions.