Systems and methods for implementing single differences within a solution separation framework are provided. In certain embodiments, a method includes processing pseudorange measurements to determine a full navigation solution by applying a single difference between the pseudorange measurements. The method additionally includes performing innovation sequence monitoring. Also, the method includes processing a subset of the pseudorange measurements to determine a set of navigation sub-solutions by applying a single difference between the pseudorange measurements, wherein a result of the innovation sequence monitoring is applied to the set of navigation sub-solutions; and providing faults detection and computing protection levels of quantities of navigation information based on a full navigation solution estimate, navigation sub-solution estimates, dependence among the full navigation solution and the set of navigation sub-solutions, and probabilities of missed detection and false alert.