Scavo in roccia, assicurazione scarpate, ancoraggi passivi e precompressi, gunite, micropali