This book proposes a general methodology to introduce Global Navigation Satellite System (GNSS) integrity, starting from a rigorous mathematical description of the problem.