US20090195443A1 - Authenticating a signal based on an unknown component thereof - Google Patents

Authenticating a signal based on an unknown component thereof Download PDF

Info

Publication number
US20090195443A1
US20090195443A1 US12/012,412 US1241208A US2009195443A1 US 20090195443 A1 US20090195443 A1 US 20090195443A1 US 1241208 A US1241208 A US 1241208A US 2009195443 A1 US2009195443 A1 US 2009195443A1
Authority
US
United States
Prior art keywords
signal
receiver
unit
circumflex over
code
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
US12/012,412
Other versions
US7969354B2 (en
Inventor
Peter Levin
David S. De Lorenzo
Per K. Enge
Sherman C. Lo
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Boeing Co
Original Assignee
Zanio Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Zanio Inc filed Critical Zanio Inc
Priority to US12/012,412 priority Critical patent/US7969354B2/en
Assigned to ZANIO, INC. reassignment ZANIO, INC. ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). Assignors: DELORENZO, DAVID S., ENGE, PER K., LEVIN, PETER L., LO, SHERMAN C.
Publication of US20090195443A1 publication Critical patent/US20090195443A1/en
Application granted granted Critical
Publication of US7969354B2 publication Critical patent/US7969354B2/en
Assigned to BOEING COMPANY, THE reassignment BOEING COMPANY, THE ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). Assignors: ZANIO, INC.
Active legal-status Critical Current
Adjusted expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G01MEASURING; TESTING
    • G01SRADIO DIRECTION-FINDING; RADIO NAVIGATION; DETERMINING DISTANCE OR VELOCITY BY USE OF RADIO WAVES; LOCATING OR PRESENCE-DETECTING BY USE OF THE REFLECTION OR RERADIATION OF RADIO WAVES; ANALOGOUS ARRANGEMENTS USING OTHER WAVES
    • G01S19/00Satellite radio beacon positioning systems; Determining position, velocity or attitude using signals transmitted by such systems
    • G01S19/01Satellite radio beacon positioning systems transmitting time-stamped messages, e.g. GPS [Global Positioning System], GLONASS [Global Orbiting Navigation Satellite System] or GALILEO
    • G01S19/03Cooperating elements; Interaction or communication between different cooperating elements or between cooperating elements and receivers
    • G01S19/08Cooperating elements; Interaction or communication between different cooperating elements or between cooperating elements and receivers providing integrity information, e.g. health of satellites or quality of ephemeris data
    • GPHYSICS
    • G01MEASURING; TESTING
    • G01SRADIO DIRECTION-FINDING; RADIO NAVIGATION; DETERMINING DISTANCE OR VELOCITY BY USE OF RADIO WAVES; LOCATING OR PRESENCE-DETECTING BY USE OF THE REFLECTION OR RERADIATION OF RADIO WAVES; ANALOGOUS ARRANGEMENTS USING OTHER WAVES
    • G01S19/00Satellite radio beacon positioning systems; Determining position, velocity or attitude using signals transmitted by such systems
    • G01S19/01Satellite radio beacon positioning systems transmitting time-stamped messages, e.g. GPS [Global Positioning System], GLONASS [Global Orbiting Navigation Satellite System] or GALILEO
    • G01S19/13Receivers
    • G01S19/21Interference related issues ; Issues related to cross-correlation, spoofing or other methods of denial of service
    • G01S19/215Interference related issues ; Issues related to cross-correlation, spoofing or other methods of denial of service issues related to spoofing

Definitions

  • This invention relates to global positioning, and more particularly to the issue of confidence that a user has in global positioning, information that equipment may provide.
  • global positioning encompasses the absolute geo-location as well are the relative location of one object relative to another object.
  • GPS Global Positioning System
  • L 1 One of the signals that the satellites transmit is a signal at frequency L 1 , which is used as a carrier to modulate a data signal that is itself modulated with a Code Division Multiple Access (CDMA) code, commonly referred to as the C/A code.
  • CDMA Code Division Multiple Access
  • each satellite transmits at least one other signal, employing the same carrier frequency that is shifted 90 degrees.
  • This second signal is modulated by another code, known as the P(Y) code.
  • the P(Y) code is either the P, which is publicly known, or the encrypted Y code.
  • Today, all satellites use the Y code and, consequently, the resulting transmitted signal that is encoded with the Y code cannot be used by anyone other than those who have the decryption algorithm and the key.
  • Each satellite transmits yet another signal, on frequency L 2 , but the disclosure herein focuses on frequency L 1 only. It should be understood that the principles disclosed herein apply to L 1 , L 2 , or any of the new frequencies that are planned for satellite navigation.
  • a conventional GPS receiver shown in FIG. 1 , simultaneously receives a number of satellite signals on frequency L 1 , where the signal transmitted by satellite n can be expressed as
  • D n (t) is the data signal
  • x C/A n (t) is the C/A code signal assigned to satellite n
  • f L1 is the frequency of the carrier
  • ⁇ 1 is the phase of the carrier relative to the beginning of the data and code signals.
  • a GPS receiver can engage in the processing of signals as if all of the possible satellites are present but, of course, some of the satellites are not within range of the GPS receiver's antenna so the processing results for those satellites are not viable.
  • the following analysis follows the signal of only one satellite and, for sake of simplicity, superscript n is omitted from the equations, and the C/A subscript is shortened to C.
  • the transmitted signal is subjected to transit time delay to the receiver, ⁇ , and the signal that is received by a receiver's antenna experiences a Doppler frequency shift, f D , due to the satellite's movement in its orbit and possible receiver motion.
  • the transmitter and the receiver do not have a common clock, which means that even when the transmitter and the receiver clocks are at identical frequency, there is, nevertheless, a phase difference between them.
  • the received signal thus can be expressed as
  • the received signal is amplified in element 10 , conventionally downshifted to a preselected intermediate frequency (IF) by multiplying the received signal in element 12 by signal
  • IF intermediate frequency
  • the signal of equation (4) is generated from reference oscillator 20 by frequency synthesizer 22 , where ⁇ 3 is the phase of the locally generated signal (relative to the beginning of the data and code signals at the transmitting satellite which, of course, is unknown).
  • ⁇ 3 is the phase of the locally generated signal (relative to the beginning of the data and code signals at the transmitting satellite which, of course, is unknown).
  • the result at the output of the low pass filter is
  • the output signal of low pass filter 15 is digitized in A/D converter 18 and applied to a combination of processor 100 and associated memory 110 where the remainder of the processing takes place.
  • the processing begins with a signal acquisition (software) module that includes a code generator element and a carrier generation module.
  • the code generation module develops signal
  • ⁇ circumflex over ( ⁇ ) ⁇ is an estimate of ⁇
  • the carrier generator module creates two signals that may be viewed as the phasor
  • ⁇ circumflex over (f) ⁇ D is an estimate of the Doppler frequency shift f D
  • ⁇ circumflex over ( ⁇ ) ⁇ 1 is an estimate of the phase ⁇ 1 .
  • Equation (9) expands to
  • the integration acts like a low pass filter that discards the high frequency signals of cos(2 ⁇ (2f IF +f D ⁇ circumflex over (f) ⁇ D )t and sin(2 ⁇ (2f IF +f D + ⁇ circumflex over (f) ⁇ D )t, leaving
  • FIG. 2 shows a diagrammatic representation of the processing that takes place in the acquisition module.
  • the task of the acquisition module is to come up with a first-cut approximation of the delay and the Doppler frequency shift.
  • a refinement of the approximations takes place in a tracking module, whose function is to both refine the estimates and track the changes in ⁇ , f D and ⁇ 1 as conditions change, and whose diagrammatic representation is shown in FIG. 3 .
  • the tracking module contains a phase lock loop comprising multiplier 31 that multiplies the S downshifted signal of equation (6) by the phasor of equation (8) provided by numerically controlled oscillator (carrier NCO) 32 .
  • the output of multiplier 31 is multiplied in multiplier 33 by the code signal obtained from code generator 38 .
  • the output of multiplier 33 is integrated in module 34 and applied to discriminator 35 , which develops a carrier error signal ( ⁇ 1 ⁇ circumflex over ( ⁇ ) ⁇ 1 ) that controls the frequency of the carrier NCO.
  • multiplier 31 The output of multiplier 31 is also applied to multiplier 36 , where it is multiplied by the code signal that is generated by element 38 , but delayed by half of the duration of code C/A chip; i.e.,
  • multiplier 37 where it is multiplied by the code signal that is generated by element 38 , but advanced by half of the duration of code C/A chip; i.e.,
  • multipliers 36 and 37 are integrated in elements 41 and 42 , respectively, and applied to discriminator 39 which develops a delay error signal ( ⁇ circumflex over ( ⁇ ) ⁇ ) that is applied to code generator 38 , controlling the frequency of the clock that generates the code.
  • the code and the carrier measurement are applied to subsequent modules (not shown) that decode the navigation message, determine satellite ephemeris, and compute the pseudo-range, and with corresponding pseudo-ranges obtained by processing other satellites, the physical location of the receiver is computed (through quadralateration) and displayed.
  • the C/A code is publicly known and, consequently, GPS receivers are vulnerable to spoofing.
  • a hostile party can generate a facsimile of one or more satellite signals that carry incorrect information, and a GPS receiver that accepts the bogus signals will compute an incorrect position and, in fact, may be caused to compute a position that the hostile party wishes to have the receiver compute.
  • spoofing is not a problem for those who are able to use the Y code because this code is not publicly known, so a hostile party cannot create a signal that appears bona fide. This problem is not unique to GPS receivers of course. It is endemic to all global positioning systems that rely on insecure signals.
  • the primary object of this disclosure is to create a method and a means for having confidence that a global position computation, or an assertion based on a global position, is bona fide.
  • Another object of this disclosure is to have global positioning computation devices, such as GPS receivers that, without having access to the information contained in a secure signal, or access to the code that makes the information secure (henceforth, the unknown signal), such as the Y code in the GPS signal, are nevertheless able to withstand spoofing attempts, for example an attack by a rogue user with access to an authorized receiver or an attack by a malicious agent attempting to dupe legitimate users.
  • global positioning computation devices such as GPS receivers that, without having access to the information contained in a secure signal, or access to the code that makes the information secure (henceforth, the unknown signal), such as the Y code in the GPS signal, are nevertheless able to withstand spoofing attempts, for example an attack by a rogue user with access to an authorized receiver or an attack by a malicious agent attempting to dupe legitimate users.
  • Yet another object of this invention is to determine the location of a device by processing the unknown signal jointly at the two stations (or locations).
  • Still another object of this invention is to authenticate a claim regarding a location that such a computing device asserts in connection with information services, such as financial services.
  • the unknown signal e.g., the Y code
  • a source e.g., satellite n
  • the second signal that also contains an unknown signal with which information is associated that is different from, but related to, the information associated with the first unknown signal
  • Confidence in the authentication results from one of the signals being received in a manner that insures it being not affected by hostile signals that perhaps affect the first signal.
  • the second signal is received by another receiver that is remote from the first receiver.
  • the first receiver is an improved GPS receiver whose assertions of global position one wishes to authenticate
  • the second receiver is an improved GPS receiver that, to the extent desired by the party that wishes to trust the authentication, is known to receive bona fide satellite signals.
  • the first improved GPS receiver processes the signal that is putatively received from satellite n to develop accurate estimates of transit delay, Doppler frequency shift and carrier phase shift for the received signal—which estimates are typically developed in the course of determining the receiver's global position—and sends to the second improved GPS receiver a signal (signal A) that accounts for the estimated transit delay, Doppler frequency shift and carrier phase shift.
  • the second improved GPS receiver employs signal A as well as a signal (signal B) that is developed from the signal the second receiver received from satellite n, and correlates the Y component signals in signals A and B.
  • a test of the correlation determines whether to authenticate signal A. For example, a correlation that exceeds a selected threshold is concluded to be an authentication that the signal sent by the first improved GPS receiver indeed originated from satellite n.
  • FIG. 1 is a block diagram of a GPS receiver
  • FIG. 2 is a block diagram illustrating the processing performed in an acquisition module of a GPS receiver
  • FIG. 3 is a block diagram illustrating the processing performed in a tracking module of a GPS receiver
  • FIG. 4 depicts an arrangement where a first GPS receiving unit that is constructed in accord with the principles disclosed herein and which is embedded in a portable computer of an employee is communicating to a second GPS receiving unit that is correspondingly constructed in accord with the principles disclosed herein in a gateway to an employer's data network;
  • FIG. 5 illustrates the processing within the second GPS receiver when the first receiver obtains good estimates of transit delay, Doppler frequency shift and carrier phase shift, and provides a signal to the second GPS receiver with carrier wipeoff already carried out;
  • FIG. 6 illustrates the processing, within the second GPS receiver when the first receiver obtains good estimates of transit delay, Doppler frequency shift and carrier phase shift, and provides to the second GPS receiver a the raw signal that contains information about all satellites whose signals are received by the first GPS receiver, and the transit delay, Doppler frequency shift and carrier phase shift estimates of all of those satellites;
  • FIG. 7 illustrates the processing within the second GPS receiver when the signal that the first GPS receiver sends is the raw signal only.
  • FIG. 4 represents one illustrative embodiment of the invention disclosed herein, where unit 201 is a GPS receiver that is modified in accord with the principles disclosed herein and which, illustratively, is embedded in portable computer 200 of an employee.
  • the employer of this employee wishes to preclude access by that portable computer relative to at least some of the employer's resources (e.g., files pertaining to some project) unless that portable computer is at one of the employer's numerous locations. Therefore the employer installs unit 301 in gateway 300 , which is the point of entry to the employer's data network of the employer, and unit 301 is a GPS receiver that is also modified in accord with the principles disclosed herein.
  • the employer is satisfied that receiver 301 receives bona fide satellite signals.
  • FIG. 4 includes a communication link 30 by which communication can flow between units 201 and 301 .
  • the communication link does not need to be secure. It is expected, however, that in some applications this link will need to be secure; for example, where this communication link is also used to send back authorizations.
  • Unit 201 receives the signals from a number of satellites and processes them as described above to compute the global position of unit 201 based on the received signals.
  • the signal of equation (12) is developed, and as part of developing this signal unit 201 creates a signal that corresponds to the received (and downshifted) signal of equation (6) multiplied by the phasor of equation (8). That is, unit 201 creates the signal (downshifted, carrier wipeoff relative to satellite n, but not C/A code wipeoff):
  • a low pass filter discards the terms with frequency on the order of 2 ⁇ f IF , leaving
  • unit 201 sends the quadrature signal of equation (24) to unit 301 over link 30 , together with identification of the satellite whose signal the sent signal represents.
  • Unit 301 develops a similar signal; that is,
  • the transit time from a satellite to unit 201 , ⁇ A is different from the transit time from the same satellite to unit 301 , ⁇ dot over ( ⁇ ) ⁇ B , so in accord with the first approach, the signal received from unit 201 is delayed by ⁇ , where ⁇ may be a positive or negative quantity, and a product of the signals S Q A (delayed) and S Q B is integrated; i.e.,
  • x Y B (t ⁇ B ) is equal to x Y A (t ⁇ B ).
  • D A (t ⁇ B ) is equal to D B (t ⁇ B ), and
  • the arrangement of FIG. 4 executes a method that recognizes—by the value of S for different values of ⁇ —when a signal that is received by unit 201 and a signal that is received by unit 301 originate from a given source that outputs a signal that is modulated with a signal x Y ( t ⁇ ), when that is the case; and conversely, recognizes when one of the signals is not from the given source.
  • the receiver shown in FIG. 1 includes processor 100 and memory 110 that operate on digital signals and, therefore, can be implemented in a programmed general purpose processor.
  • unit 201 can include hardware elements that correspond to elements 10 , 12 , 15 . 18 , 20 and 22 , and employ the computing power of portable computer 200 to carry out the various calculations disclosed above, which in the FIG. 1 embodiment would be performed in element 100 and its associated memory 110 .
  • the software that is necessary in unit 201 to augment the conventional receiver advantageously implements a filter to develop the signal of equation (24) from the signal of equation (20), and a module for sending to line 30 the signal of equation (24), and the identity of the satellite whose signal is represented by the sent signal. This extremely modest addition to the software is quite simple, which a skilled artisan can create without undue experimentation in any one of a number of techniques that are well known in the art.
  • FIG. 5 diagrammatically shows unit 301 to include a port to receive the signal sent by unit 201 , a delay unit 21 that is responsive to the equation (25) signal, and a correlation module 25 that is responsive to the delayed signal at the output of delay unit 21 and to the signal of equation (25) that is extracted from the signals that the conventional GPS receiver creates in the course of determining its global position.
  • the correlation function provides an indication of the degree to which signal A, with some delay, is the same as signal B. When they are indeed the same, then the correlation outputs a high value, or a peak. Bogus signals, even when they are somewhat similar to the authentic signal, will result in lower correlation value regardless of what delay is chosen. One simple way, therefore, is to compare the strongest correlation peak to the next strongest peak. This is illustrated by the following function that module 23 executes:
  • the location can be computed using more than the minimum number of satellites (4 satellites to compute latitude, longitude, elevation and GPS time) and that not all of the satellite signals need to be authenticated. Having a majority of the signals authenticated can be used to test the consistency of non-authenticated signals, provided that the location estimate reported by unit 201 agrees with the location estimate developed using a subset of authenticated satellites.
  • unit 201 Once confidence is gained about the signals provided by unit 201 that are used to compute a global position of unit 201 then one can also have confidence in an identification of the global position by unit 201 as asserted by unit 201 . This assumes, of course, that unit 201 does compute its global position (in a completely conventional way) and reports its position to unit 301 .
  • unit 301 computes the position of unit 201 .
  • authenticating an asserted position, or securely determining a position does not need to be done continually. At times the global position of unit 201 is immaterial. At other times, one can assume that unit 201 has not significantly wandered off the authenticated position. Therefore, in many applications it is acceptable if unit 201 sends only a signal segment, or snapshot, to unit 301 . In other applications it may be advisable to send a signal snapshot on some regular basis.
  • Unit 201 may have the full computing capabilities within itself (note the processor in unit 201 ), and it may be a stand-alone item, an item that is pluggable into a device such as portable 200 , or it may be permanently (or semi-permanently) attached to an article and so transported from place to place; e.g., attached to a shipping container.
  • unit 201 may contain a memory for storing one or more signal segments (raw, or processed), and the stored information may be communicated to unit 301 at some later time (i.e., a non-real time operation) by relatively direct connection; that is, without the use of a communication network that is shown in FIG. 4 .
  • the transfer of information may be initiated by a push-button switch in unit 201 (not explicitly shown in FIG. 4 ), by an electronic instruction from unit 301 , by physically transferring the memory from unit 203 (see FIG. 7 ) to an appropriate connector on unit 301 , or by some other conventional means.
  • unit 201 sends to unit 301 the signal of equation (24), which is the signal after carrier wipeoff relative to satellite n.
  • M such signals need to be sent.
  • the bandwidth of path 30 must be M times greater than the bandwidth required to send one signal.
  • unit 201 sends to unit 302 the raw data and also sends the computed Doppler frequency and carrier phase estimates for at least each of the satellites that is used in computing its global position.
  • unit 301 and 302 The difference between unit 301 and 302 is that in unit 302 the raw data and the estimates are processed in processor 24 to develop the quadrature channel signal of equation (24).
  • the bandwidth requirement (for sending the signal from unit 201 to unit 301 ) is essentially unchanged from the bandwidth needed for one satellite signal.
  • a small size for the device may be more important than the ability of the device to know its own global position. Indeed, in some applications it may be totally unimportant for the GPS receiver to know its location but, rather, it may suffice for the other receiver (e.g., unit 301 in FIG. 4 ) to know where unit 200 is, or has been. In other words, there are applications where it may not be necessary for the GPS receiver do the processing that is associated determining its global position. To that end, unit 203 ( FIG. 7 ) needs to merely send its raw signal to receiver 303 ( FIG. 7 ), or record signal segments internally for future delivery to unit 303 .
  • FIG. 7 depicts an arrangement with the GPS receiver 203 that is optionally devoid of the processing that involves carrier wipeoff and code wipeoff.
  • the receiver, 203 only downshifts the received signal and sends this raw data to receiver 303 (without any delay, Doppler shift, or phase estimates), together, perhaps with some general information about its presumed (or asserted) location.
  • the raw data might be sent immediately, or stored in a local memory, and sent at a later time.
  • the signal that is provided to receiver 303 by receiver 203 is:
  • ⁇ circumflex over (f) ⁇ D A a rough location information which, from satellite orbit tables that are publicly Known, an estimate ⁇ circumflex over (f) ⁇ D A is obtained.
  • the rough information may be in the form of an assertion as to the location of receiver 203 . It is recognized that no information is available about the value of ⁇ A , and that the estimate ⁇ circumflex over (f) ⁇ D A is likely to be inaccurate but it is nevertheless helpful, as is demonstrated below. Absent information about ⁇ A , processor 24 executes non-coherent demodulation and multiplies the incoming signal by
  • equation (34) can be simplified to
  • Delay element 21 of FIG. 7 introduces delay ⁇ , and element 26 in the FIG. 7 embodiment executes the integration
  • equation (25) specifies S Q B , which can be expressed by
  • equation (42) can be expressed as
  • primed variables e.g., W′
  • unprimed variables e.g., W
  • controller 23 finds the delay ⁇ that provides the peak value of S, and compares it to other values in order to determine whether the signal send by unit 203 contains a bona fide signal from that particular satellite for which the processing operation of equation (46) was just executed.
  • unit 201 could send C/A code information as well as Y code information.
  • Other variations exist.
  • unit 201 performs code and carrier wipeoff and unit 301 coherently demodulates the data.
  • unit 201 does not perform code or carrier wipeoff. Rather, it sends, more primitive, downshifted data, and unit 301 performs non-coherent demodulation. This pairing is mutable.
  • unit 201 could send downshifted data and unit 301 could perform coherent demodulation.
  • the above illustrative embodiment has the first receiver in a portable computer and the second receiver in gateway that is remote from the portable computer.
  • the assumption is that the signal received by receiver 301 is not impacted by a bogus signal to which the portable computer may be subjected.
  • a mere physical separation when it is big enough so that the receivers are not subjected to the signal of a given (bogus) source, tends to insure this situation because a hostile party is not likely to be able to send a bogus signal to portable 200 and to also send an appropriate replica of the same bogus signal to receiver 301 .
  • receiver 301 can take steps to insure that this does not happen by, for example, using antennas that are electronically directed to respond well to signals only from certain directions (where the satellites are expected to be) and to not respond well to signals from other directions.
  • the above illustrative embodiment focuses on the processing being done in gateway 300 .
  • a moving unit that contains the receivers that outputs signal A and which potentially is under electronic attack (e.g., an airplane), for example, where the action in response to the authentication takes place in moving unit and/or when there are so many moving units that processing in the unit that generates signal B might overload the capability of the processor that is available at that location.
  • the receiver that generates signal B does not need to be stationary because, as indicated above, mutual authentication is possible if the distance between the two receivers is big enough so that the receivers are not subjected to the signal of a given (bogus) source.
  • FIG. 8 presents an illustrative example of a three party embodiment, involving a supplicant (e.g., portable 200 ), a resource (e.g., gateway 300 ) and an authentication authority.
  • Signal A is provided by the supplicant
  • signal B is provided by the authentication authority and the processing is performed in any of the three locations, depending on the particular application and the desires of the parties.
  • unit 301 can also include a memory for storing raw or processed data; particularly for applications where the at least some of the authentication processing is perform in other than the authentication authority.
  • FIG. 8 embodiment One advantage of the FIG. 8 embodiment is that it efficiently supports many supplicant-resource pairs because it requires no GPS receiving or sophisticated processing by the resource, and because the authentication authority can afford to make greater efforts to insure that its signal B is authentic.
  • the supplicants can be bank customers, and the resources can be banks.
  • High powered satellite antennas that are highly directional are expensive, and banks generally would be happy to not have to invest in such antennas but allow an authentication authority to guarantee that signal B is authentic.
  • the authentication authority on the other hand, can afford to employ expensive antenna arrangements and other techniques to insure the bona fide of signal B because the cost may be amortized over many customers of the authentication authority.
  • the authentication authority can be located at some physically remote location that is secure from transmission by hostile parties.
  • the remoteness makes it more likely than not that a hostile party will not succeed in transmitting to the directional antennas, and it will almost certainly ensure that whatever hostile signal is transmitted to units 201 will not correspond to the hostile signals to which the authentication authority might be subjected.
  • banks are situated in locations that are readily accessible to all.
  • the authentication authority can be located permanently at its secure location and can make the effort to know its own global position with great accuracy, in contrast to banks that sometimes change locations. This allows the authentication authority to compute its location from the received signals and by comparing the computed location with the known location it can confirm that its received signals are bona fide. Moreover, since the authentication of a location is effectively decided by comparing an asserted location to a location computed relative to the location of the authentication authority, an accurate location of the authentication authority is important.
  • the authentication authority can itself receive other signals that it can process to confirm the bona fide of its signal B—for example, from locations that are greatly removed from the authentication authority location that receives signal B, or from other systems (e.g., LORAN).
  • the authentication authority has a number of facilities, at different locations around the globe, and the signal B that is used for processing is from a location that is selected truly randomly (in contrast to pseudorandomly) from among the different locations.
  • the banks may be satisfied to direct customers to send signal A to the authentication authority and have the authentication authority provide the bank (via a securely transmitted message) the location of the supplicant customer and a confirmation that the location is authentic. Presumably, this would allow the bank to proceed with the transaction in which the bank customer wishes to engage.
  • the bank may wish to merely receive signal B from the authentication authority and itself accept signal A from its customers and itself do the processing. In the first case, the processing is done at the authentication authority, while in the second case the processing is done at the resource.
  • % % % From exact carrier wipeoff, the C/A-code is isolated to the % % inphase I-channel while the P(Y)-code, being in phase % % quadrature, is isolated to the quadrature Q-channel; % % correlation processing therefore can select the Q-channel % % only for detection of the presence of P(Y)-code modulation.
  • % % % From approximate carrier wipeoff, the C/A-code and the % % P(Y)-code are not isolated to I/Q-channels; correlation % % processing must utilize both the I-channel and the Q-channel % % for detection of P(Y)-code modulation - and must rely on the % % signal from the other receiver to have undergone exact % % carrier wipeoff.
  • acqResults.codePhase(trackResults.PRN); replicaPrompt CA(floor(mod(codePts, settings.chipsPer1ms)) + 1); figure(11) subplot(2,1,1) plot(xcorr(replicaPrompt,real(dataInIQ))) subplot(2,1,2) plot(xcorr(replicaPrompt,imag(dataInIQ))) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Abstract

Authentication of a signal, signalA, that is provided as having been received from a source at a first global location by comparing it to a signal that is received from the source at a second global location, signalB, where signalB contains an unknown signal that is unique to the source, and determining, that signalA contains the same unknown signal that is contained in signalB.

Description

    BACKGROUND OF THE INVENTION
  • This invention relates to global positioning, and more particularly to the issue of confidence that a user has in global positioning, information that equipment may provide. In the context of this disclosure, global positioning encompasses the absolute geo-location as well are the relative location of one object relative to another object.
  • There are numerous electronic ways by which global positioning may be provided. Some are terrestrial, and some are based on satellites. A satellite system that currently is most commonly used is the Global Positioning System (GPS), and it is quite well known in the sense that many people have GPS receivers that assist them in determining their physical location. GPS uses a collection of satellites that are arranged to orbit the Earth so that at least four satellites are always within the reception range of a receiver, at any point on the globe. One of the signals that the satellites transmit is a signal at frequency L1, which is used as a carrier to modulate a data signal that is itself modulated with a Code Division Multiple Access (CDMA) code, commonly referred to as the C/A code. The CDMA code that is used by each satellite is unique to the satellite, but it is publicly known, which allows the receiver to discriminate, or detect, the individual signal of each of the satellites in the presence of signals form the other satellites and in the presence of noise. Actually, each satellite transmits at least one other signal, employing the same carrier frequency that is shifted 90 degrees. This second signal is modulated by another code, known as the P(Y) code. The P(Y) code is either the P, which is publicly known, or the encrypted Y code. Today, all satellites use the Y code and, consequently, the resulting transmitted signal that is encoded with the Y code cannot be used by anyone other than those who have the decryption algorithm and the key. Each satellite transmits yet another signal, on frequency L2, but the disclosure herein focuses on frequency L1 only. It should be understood that the principles disclosed herein apply to L1, L2, or any of the new frequencies that are planned for satellite navigation.
  • Because the invention that is disclosed herein is illustrated by way of an example that is based on the pervasive GPS system, the Following gives an abbreviated review of the GPS signals and the processing that takes place in a conventional GPS receiver. It should be kept in mind that the deficiency in the GPS system that is mentioned later is found in all other non-encrypted systems, and that the applicability of the invention disclosed herein extends beyond the GPS system. It should be kept in mind, therefore, that terms referring to global positioning (without initial letters being capitalized) refers to the terms generically, and not necessarily solely to GPS.
  • A conventional GPS receiver, shown in FIG. 1, simultaneously receives a number of satellite signals on frequency L1, where the signal transmitted by satellite n can be expressed as

  • S transmitted =A n D n(t)x C/A n(t)cos(2π(f L1)t+φ 1)+B n D n(t)x Y n(t)sin(2π(f L1)t+φ 1)   (1)
  • where Dn(t) is the data signal, xC/A n(t) is the C/A code signal assigned to satellite n, fL1 is the frequency of the carrier, and φ1is the phase of the carrier relative to the beginning of the data and code signals.
  • A GPS receiver can engage in the processing of signals as if all of the possible satellites are present but, of course, some of the satellites are not within range of the GPS receiver's antenna so the processing results for those satellites are not viable. The following analysis follows the signal of only one satellite and, for sake of simplicity, superscript n is omitted from the equations, and the C/A subscript is shortened to C.
  • The transmitted signal is subjected to transit time delay to the receiver, τ, and the signal that is received by a receiver's antenna experiences a Doppler frequency shift, fD, due to the satellite's movement in its orbit and possible receiver motion. Also, the transmitter and the receiver do not have a common clock, which means that even when the transmitter and the receiver clocks are at identical frequency, there is, nevertheless, a phase difference between them. Thus, the received signal thus can be expressed as

  • S received= AD(t−τ)x C(t−τ)cos(2π(f L1 +f D)(t+τ)+φ 1)+BD(t−τ)x Y(t−τ)sin(2π(f L1 +f D)(t−τ)+φ1)   (2)
  • or simplified to

  • S received =AD(t−φ)xC(t−τ)cos(f L1 +f D)t+φ1−φ2)+BD(t−τ)xY(t−τ)sin(2π(f L1 +f D)t)+φ1−φ2)   (3)
  • As shown in FIG. 1, the received signal is amplified in element 10, conventionally downshifted to a preselected intermediate frequency (IF) by multiplying the received signal in element 12 by signal

  • sin(2π(fL1 −f IF)t+φ3)   (4 )
  • and passing the resulting signal through low pass filter 15. The signal of equation (4) is generated from reference oscillator 20 by frequency synthesizer 22, where φ3 is the phase of the locally generated signal (relative to the beginning of the data and code signals at the transmitting satellite which, of course, is unknown). The result at the output of the low pass filter is

  • S downshifted =AD(t−τ)xC(t−τ)cos(2π(f IF +f D)t+φ 1φ2−φ3)+BD(t−τ)x Y(t−τ)sin(2π(f IF +f D)t+φ 1−φ2−φ3)   (5 )
  • or simplified to

  • S downshifted =AD(t−τ)xC(t−τ)cos(2π(f IF +f D)t+θ 1)+BD(t−τ)xY(t−τ)sin(2π(f IF +f D)t+θ 1).   (6)
  • It may be noted that the above-described use of downshifting by use of an IF modulator 12 and low pass filter 15 is illustrative, and that the A/D can be connected directly to amplifier 10 and controlled to generate a digital signal as if it were downshifted as shown in FIG. 1.
  • The output signal of low pass filter 15 is digitized in A/D converter 18 and applied to a combination of processor 100 and associated memory 110 where the remainder of the processing takes place.
  • The processing begins with a signal acquisition (software) module that includes a code generator element and a carrier generation module. The code generation module develops signal

  • x C(t−{circumflex over (τ)}),   (7)
  • where {circumflex over (τ)} is an estimate of τ, and the carrier generator module creates two signals that may be viewed as the phasor

  • Ψ=cos(2π(f IF +{circumflex over (f)} D)t+{circumflex over (θ)} 1)−i sin(2π(f IF +{circumflex over (f)} D)t+{circumflex over (θ)} 1),   (8)
  • where {circumflex over (f)}D is an estimate of the Doppler frequency shift fD, and {circumflex over (θ)}1 is an estimate of the phase θ1. Multiplying the received (and downshifted) signal of equation (6) by the code signal of equation (7) and the phasor of equation (8) and then integrating the product over a preselected interval that is long enough to reliably detect a correlation peak (for example, more than one period of the C/A code) yields:

  • ∫F CΨ cos(2π(f IF +f D)t+θ 1)]+∫F YΨ sin(2π(f IF +f D)t+θ 1)]  (9)

  • where

  • F C =AD(t−τ)x C(t−τ)x C(t−{circumflex over (τ)}) and F Y =BD(t−τ)xY(t−τ)xC(t−{circumflex over (τ)})   (10)
  • Equation (9) expands to
  • S I + S Q = F C { cos ( 2 π ( f IF + f ^ D ) t + θ ^ 1 ) cos ( 2 π ( f IF + f D ) t + θ 1 ) - sin ( 2 π ( f IF + f ^ D ) t + θ ^ 1 ) cos ( 2 π ( f IF + f D ) t + θ 1 ) } + F Y { cos ( 2 π ( f IF + f ^ D ) t + θ ^ 1 ) sin ( 2 π ( f IF + f D ) t + θ 1 ) - sin ( 2 π ( f IF + f ^ D ) t + θ ^ 1 ) sin ( 2 π ( f IF + f D ) t + θ 1 ) } or to ( 11 ) S I + S Q = F C { cos ( 2 π ( f IF + f D + f ^ D ) t + θ 1 + θ ^ 1 ) + cos ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) - sin ( 2 π ( 2 f IF + f D + f ^ D ) t + θ 1 + θ ^ 1 ) + sin ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) } + F Y { sin ( 2 π ( f IF + f D + f ^ D ) t + θ 1 + θ ^ 1 ) + sin ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) + cos ( 2 π ( 2 f IF + f D + f ^ D ) t + θ 1 + θ ^ 1 ) - cos ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) } . ( 12 )
  • Since, as indicated above,

  • F Y =BD(t−τ)x Y(t−τ)x C(t−{circumflex over (τ)}),   (13)
  • and the C/A code is orthogonal to the Y code, the second integral of equation (12) yields zero. Also, the integration acts like a low pass filter that discards the high frequency signals of cos(2π(2fIF+fD{circumflex over (f)}D)t and sin(2π(2fIF+fD+{circumflex over (f)}D)t, leaving
  • S I + S Q = F C { + cos ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) + sin ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) } . ( 14 )
  • It can be demonstrated that S2+SQ 2 equals
  • S I 2 + S Q 2 = ( F C cos ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) ) 2 + ( F C sin ( 2 π ( f D - f ^ D ) t + θ 1 - θ ^ 1 ) ) 2 = ( F C cos 2 π ( f D - f ^ D ) t ) 2 + ( F C sin 2 π ( f D - f ^ D ) t ) 2 ( 15 )
  • which is independent of (θ1−{circumflex over (θ)}1). It can be also demonstrated that good estimates for τ, and fD are attained when code generation module is adjusted as to introduce a delay, {circumflex over (τ)}, and the carrier generator module is adjusted as to the introduced {circumflex over (f)}D so as to maximize S1 2+SQ 2.
  • For the more visually inclined reader, FIG. 2 shows a diagrammatic representation of the processing that takes place in the acquisition module.
  • The task of the acquisition module is to come up with a first-cut approximation of the delay and the Doppler frequency shift. A refinement of the approximations takes place in a tracking module, whose function is to both refine the estimates and track the changes in τ, fD and θ1 as conditions change, and whose diagrammatic representation is shown in FIG. 3.
  • The tracking module contains a phase lock loop comprising multiplier 31 that multiplies the Sdownshifted signal of equation (6) by the phasor of equation (8) provided by numerically controlled oscillator (carrier NCO) 32. The output of multiplier 31 is multiplied in multiplier 33 by the code signal obtained from code generator 38. The output of multiplier 33 is integrated in module 34 and applied to discriminator 35, which develops a carrier error signal (θ1−{circumflex over (θ)}1) that controls the frequency of the carrier NCO.
  • The output of multiplier 31 is also applied to multiplier 36, where it is multiplied by the code signal that is generated by element 38, but delayed by half of the duration of code C/A chip; i.e.,

  • x C(t−{circumflex over (τ)}−T C/2),   (16)
  • and to multiplier 37, where it is multiplied by the code signal that is generated by element 38, but advanced by half of the duration of code C/A chip; i.e.,

  • x C(t−{circumflex over (τ)}+T C/2).   (17)
  • The outputs of multipliers 36 and 37 are integrated in elements 41 and 42, respectively, and applied to discriminator 39 which develops a delay error signal (τ−{circumflex over (τ)}) that is applied to code generator 38, controlling the frequency of the clock that generates the code.
  • While in both elements 32 and 38 the frequency of a clock is controlled by the respective discriminators, the result is that the generated carrier frequency phasor that is applied to multiplier 31 is in the form

  • cos(2π(f IF +{circumflex over (f)} D)t+{circumflex over (θ)} 1)−i sin(2π(f IF +{circumflex over (f)} D)t+{circumflex over (θ)} 1)   (18)
  • with the approximations {circumflex over (f)}D and {circumflex over (θ)}1 tracking closely the fD and θ1 of equation (6), and the generated code

  • x C(t+{circumflex over (τ)})   (19)
  • has a {circumflex over (τ)} that is a close estimate of τ.
  • The code and the carrier measurement are applied to subsequent modules (not shown) that decode the navigation message, determine satellite ephemeris, and compute the pseudo-range, and with corresponding pseudo-ranges obtained by processing other satellites, the physical location of the receiver is computed (through quadralateration) and displayed.
  • All of the above is conventional, and the reader is invited to peruse the book “Global Positioning System” by Misra and Enge, Ganga-Jamuna Press, 2006 for further details. In general, the GPS literature is enormous. It describes alternate implementation to the above, where, for example, the code and carrier removal processes described by equations (7), (8) and (9) are done in different order. It also describes implementations that use correlator spacings other than those chosen in equations (16) and (17). The literature is also replete with discriminator strategies that differ from the simple “early minus late” strategy described here.
  • In commercial applications the C/A code is publicly known and, consequently, GPS receivers are vulnerable to spoofing. A hostile party can generate a facsimile of one or more satellite signals that carry incorrect information, and a GPS receiver that accepts the bogus signals will compute an incorrect position and, in fact, may be caused to compute a position that the hostile party wishes to have the receiver compute. However, spoofing is not a problem for those who are able to use the Y code because this code is not publicly known, so a hostile party cannot create a signal that appears bona fide. This problem is not unique to GPS receivers of course. It is endemic to all global positioning systems that rely on insecure signals.
  • The primary object of this disclosure is to create a method and a means for having confidence that a global position computation, or an assertion based on a global position, is bona fide.
  • Another object of this disclosure is to have global positioning computation devices, such as GPS receivers that, without having access to the information contained in a secure signal, or access to the code that makes the information secure (henceforth, the unknown signal), such as the Y code in the GPS signal, are nevertheless able to withstand spoofing attempts, for example an attack by a rogue user with access to an authorized receiver or an attack by a malicious agent attempting to dupe legitimate users.
  • Yet another object of this invention is to determine the location of a device by processing the unknown signal jointly at the two stations (or locations).
  • Still another object of this invention is to authenticate a claim regarding a location that such a computing device asserts in connection with information services, such as financial services.
  • SUMMARY OF THE INVENTION
  • The above and other objects are achieved, and an advance in the art is realized by effectively employing the unknown signal (e.g., the Y code) for authentication, and more particularly by receiving a first signal from a source (e.g., satellite n), which signal contains the unknown signal and is also adapted to make a statement (e.g., an assertion of a global position), receiving a second signal that also contains an unknown signal with which information is associated that is different from, but related to, the information associated with the first unknown signal, and processing the two unknown signals to authenticate the statement. Confidence in the authentication results from one of the signals being received in a manner that insures it being not affected by hostile signals that perhaps affect the first signal. Illustratively, the second signal is received by another receiver that is remote from the first receiver.
  • In one illustrative embodiment, the first receiver is an improved GPS receiver whose assertions of global position one wishes to authenticate, and the second receiver is an improved GPS receiver that, to the extent desired by the party that wishes to trust the authentication, is known to receive bona fide satellite signals. The first improved GPS receiver processes the signal that is putatively received from satellite n to develop accurate estimates of transit delay, Doppler frequency shift and carrier phase shift for the received signal—which estimates are typically developed in the course of determining the receiver's global position—and sends to the second improved GPS receiver a signal (signal A) that accounts for the estimated transit delay, Doppler frequency shift and carrier phase shift. The second improved GPS receiver employs signal A as well as a signal (signal B) that is developed from the signal the second receiver received from satellite n, and correlates the Y component signals in signals A and B. A test of the correlation determines whether to authenticate signal A. For example, a correlation that exceeds a selected threshold is concluded to be an authentication that the signal sent by the first improved GPS receiver indeed originated from satellite n.
  • BRIEF DESCRIPTION OF THE DRAWING
  • FIG. 1 is a block diagram of a GPS receiver;
  • FIG. 2 is a block diagram illustrating the processing performed in an acquisition module of a GPS receiver;
  • FIG. 3 is a block diagram illustrating the processing performed in a tracking module of a GPS receiver;
  • FIG. 4 depicts an arrangement where a first GPS receiving unit that is constructed in accord with the principles disclosed herein and which is embedded in a portable computer of an employee is communicating to a second GPS receiving unit that is correspondingly constructed in accord with the principles disclosed herein in a gateway to an employer's data network;
  • FIG. 5 illustrates the processing within the second GPS receiver when the first receiver obtains good estimates of transit delay, Doppler frequency shift and carrier phase shift, and provides a signal to the second GPS receiver with carrier wipeoff already carried out;
  • FIG. 6 illustrates the processing, within the second GPS receiver when the first receiver obtains good estimates of transit delay, Doppler frequency shift and carrier phase shift, and provides to the second GPS receiver a the raw signal that contains information about all satellites whose signals are received by the first GPS receiver, and the transit delay, Doppler frequency shift and carrier phase shift estimates of all of those satellites; and
  • FIG. 7 illustrates the processing within the second GPS receiver when the signal that the first GPS receiver sends is the raw signal only.
  • DETAILED DESCRIPTION
  • An important realization that is disclosed herein is that given a signal from a source that comprises a secure, though unknown, component and a corresponding known but not secure component, where both the known and unknown components are similarly affected by physical conditions and those effects are computed for the known component, it is possible to authenticate the known component by using a second signal that is a changed version of the signal from the source—where either the second signal or the given signal is known to be bona fide—through use of the unknown components of the given signal and of the second signal.
  • The following applies this insight to the problem where the source is one or more satellites that output signals which are used for various purposes, including global positioning; and more particularly to the aforementioned problem in the context of the Global Positioning System. It should be understood, however, that the principles disclosed herein are not limited to the illustrative embodiment presented below.
  • FIG. 4 represents one illustrative embodiment of the invention disclosed herein, where unit 201 is a GPS receiver that is modified in accord with the principles disclosed herein and which, illustratively, is embedded in portable computer 200 of an employee. For security reasons, the employer of this employee wishes to preclude access by that portable computer relative to at least some of the employer's resources (e.g., files pertaining to some project) unless that portable computer is at one of the employer's numerous locations. Therefore the employer installs unit 301 in gateway 300, which is the point of entry to the employer's data network of the employer, and unit 301 is a GPS receiver that is also modified in accord with the principles disclosed herein. For the illustrative example of FIG. 4, it is presumed that the employer is satisfied that receiver 301 receives bona fide satellite signals.
  • In addition to units 201 and 301, FIG. 4 includes a communication link 30 by which communication can flow between units 201 and 301. For purposes of the global location authentication that is described below, the communication link does not need to be secure. It is expected, however, that in some applications this link will need to be secure; for example, where this communication link is also used to send back authorizations.
  • Unit 201 receives the signals from a number of satellites and processes them as described above to compute the global position of unit 201 based on the received signals. In the course of processing the signal of satellite n, the signal of equation (12) is developed, and as part of developing this signal unit 201 creates a signal that corresponds to the received (and downshifted) signal of equation (6) multiplied by the phasor of equation (8). That is, unit 201 creates the signal (downshifted, carrier wipeoff relative to satellite n, but not C/A code wipeoff):
  • A A D A ( t - τ A ) x C A ( t - τ ^ A ) { cos ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A + θ ^ 1 A ) + cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) - sin ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A + θ ^ 1 A ) + sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) } + B A D A ( t - τ A ) x Y A ( t - τ ^ A ) { sin ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A + θ ^ 1 A ) + sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) + cos ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A + θ ^ 1 A ) - cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) } . ( 20 )
  • where the superscript A designates the signal of unit 201.
  • A low pass filter discards the terms with frequency on the order of 2πfIF, leaving
  • A A D A ( t - τ A ) x C A ( t - τ ^ A ) { cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) + sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) } + B A D A ( t - τ A ) x Y A ( t - τ ^ A ) { sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) - cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) } ( 21 )
  • which can be written as

  • S 1 A +iS Q A   (22)
  • where
  • S I A = A A D A ( t - τ A ) x C A ( t - τ ^ A ) cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) + B A D A ( t - τ A ) x Y A ( t - τ ^ A ) sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) ( 23 ) and S Q A = A A D A ( t - τ A ) x C A ( t - τ ^ A ) sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) - B A D A ( t - τ A ) x Y A ( t - τ ^ A ) cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) . ( 24 )
  • Approach A
  • In accordance with a first approach, unit 201 sends the quadrature signal of equation (24) to unit 301 over link 30, together with identification of the satellite whose signal the sent signal represents.
  • Unit 301 develops a similar signal; that is,
  • S Q B = A B D B ( t - τ B ) x C B ( t - τ ^ B ) sin ( 2 π ( f D B - f ^ D B ) t + θ 1 B - θ ^ 1 B ) - B B D B ( t - τ B ) x Y B ( t - τ ^ B ) cos ( 2 π ( f D B - f ^ D B ) t + θ 1 B - θ ^ 1 B ) . ( 25 )
  • The transit time from a satellite to unit 201, τA, is different from the transit time from the same satellite to unit 301, {dot over (τ)}B, so in accord with the first approach, the signal received from unit 201 is delayed by δ, where δ may be a positive or negative quantity, and a product of the signals SQ A(delayed) and SQ B is integrated; i.e.,
  • S = [ S Q A ( delayed ) × S Q B ] = [ { A A D A ( t - τ A - δ ) x C A ( t - τ ^ A - δ ) sin ( 2 π ( f D A - f ^ D A ) ( t - δ ) + θ 1 A - θ ^ 1 A ) - B A D A ( t - τ A - δ ) x Y A ( t - τ ^ A - δ ) cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A - θ ^ 1 A ) } × { A B D B ( t - τ B ) x C B ( t - τ ^ B ) sin ( 2 π ( f D B - f ^ D B ) t + θ 1 B - θ ^ 1 B ) - B B D B ( t - τ B ) x Y B ( t - τ ^ B ) cos ( 2 π ( f D B - f ^ D B ) t + θ 1 B - θ ^ 1 B ) } ] ( 26 )
  • which can be written in more manageable form as

  • S=∫[XU−YU−XW+YW]  (27)
  • where

  • X=A A D A(t−τ A−δ)x C A(t−{circumflex over (τ)} A−δ)sin(2π(f D A −{circumflex over (f)} D A)t+θ 1 A−{circumflex over (θ)}1 A)   (28)

  • Y=B A D A(t−τ A−δ)x Y A(t−{circumflex over (τ)} A−δ)cos(2π(f D A −{circumflex over (f)} D A)t+θ 1 A−{circumflex over (θ)}1 A)   (29)

  • U=A B D B(t−τ B)x C B(t−{circumflex over (τ)} B)sin(2π(f D B −{circumflex over (f)} D B)t+θ 1 B−{circumflex over (θ)}1 B)   (30)

  • and W=B B D B(t−τ B)x Y B(t−{circumflex over (τ)} B)cos(2π(f D B −{circumflex over (f)} D B)t+θ 1 B−{circumflex over (θ)}1 b).   (31)
  • As indicated above, the estimates of {circumflex over (τ)}A, {circumflex over (f)}D A and {circumflex over (θ)}1 A, are quite good, and so are the estimates of {circumflex over (τ)}B, {circumflex over (f)}D B, and {circumflex over (θ)}1 B. Given accurate information about the phase shifts, unit 301 can perform coherent demodulation. Consequently, over the integration interval that needs to be employed for equation (26), the sin( ) terms can be replaced with 0 (i.e., X=U=0), and the cos( ) terms can be replaced with their respective coefficients. This leads to

  • S=B A B B ∫D A(t−τ A−δ)DB(t−τ B)x Y A(t−τ A−δ)x Y B(t−τ B)   (32)
  • Clearly, when the signal of unit 301 is bona fide and, therefore,
  • xY B(t−τB) is equal to xY A(t−τB).
  • DA(t−τB) is equal to DB(t−τB), and
  • (DB(t−τB))2=1, because the message signal, D, can only have ±1 values.
  • Thus, the value of S in equation (32) is maximum when δ=τB−τA; i.e.,

  • S=BA B B.   (33)
  • Thus, without knowing the Y code signal xY(t−τ), the arrangement of FIG. 4 executes a method that recognizes—by the value of S for different values of δ—when a signal that is received by unit 201 and a signal that is received by unit 301 originate from a given source that outputs a signal that is modulated with a signal xY(t−τ), when that is the case; and conversely, recognizes when one of the signals is not from the given source.
  • One can appreciate that the receiver shown in FIG. 1 includes processor 100 and memory 110 that operate on digital signals and, therefore, can be implemented in a programmed general purpose processor. Similarly, unit 201 can include hardware elements that correspond to elements 10, 12, 15. 18, 20 and 22, and employ the computing power of portable computer 200 to carry out the various calculations disclosed above, which in the FIG. 1 embodiment would be performed in element 100 and its associated memory 110. The software that is necessary in unit 201 to augment the conventional receiver advantageously implements a filter to develop the signal of equation (24) from the signal of equation (20), and a module for sending to line 30 the signal of equation (24), and the identity of the satellite whose signal is represented by the sent signal. This extremely modest addition to the software is quite simple, which a skilled artisan can create without undue experimentation in any one of a number of techniques that are well known in the art.
  • The modification to the GPS receiver in unit 301 is somewhat greater than in unit 201, but still quite simple to implement in a programmed general purpose processor (which may be part of the processor that gateway 200 employs). FIG. 5 diagrammatically shows unit 301 to include a port to receive the signal sent by unit 201, a delay unit 21 that is responsive to the equation (25) signal, and a correlation module 25 that is responsive to the delayed signal at the output of delay unit 21 and to the signal of equation (25) that is extracted from the signals that the conventional GPS receiver creates in the course of determining its global position.
  • The correlation unit computes the integral of equation (26) with function S=function A(), and provides the developed value S to controller module 23. The correlation function provides an indication of the degree to which signal A, with some delay, is the same as signal B. When they are indeed the same, then the correlation outputs a high value, or a peak. Bogus signals, even when they are somewhat similar to the authentic signal, will result in lower correlation value regardless of what delay is chosen. One simple way, therefore, is to compare the strongest correlation peak to the next strongest peak. This is illustrated by the following function that module 23 executes:
  • for δ (−N,+N, Δ N)
    do
      Call S=function A( δ )
      If S > ShighWaterMark then {
        SnextHighest = ShighWaterMark
        ShighWaterMark = S }
    Done
    if (ShighWaterMark /SnextHighest ) > Threshold then output “OK”
    else output “NOT OK”
    end if

    where N is greater than the expected delay difference (τB−τA) , and ΔN is the increment that a designer might choose to employ in seeking the maximum in the correlation function of equation (26). Of course, if unit 201 were to send the value of {circumflex over (τ)}B along with the signal of equation (24) then the range of N can be reduced significantly because it would be expected to find a maximum at δ=0.
  • It should be noted that the above is just one embodiment of the test that is performed on the correlation results. It may be noted, for example, that in embodiments that employ high sampling rates several large peaks may appear, but those peak are artifacts, and in such embodiments other tests are typically employed that factor in the sampling rate (as related to ΔN) and the relative position of the peaks, to determine which points to compare for the threshold.
  • It is recognized that in order to compute a global position, the signal of more than one satellite must be used. Therefore, authenticating the signal of one satellite, as disclosed above, does not, ipso facto, guarantee that unit 201 is not impacted by a bogus signal relative to the signal of another satellite that it is using for its global position computations. If it is so impacted, then one cannot trust its assertion regarding its global position. However, time can be divided into fairly long-duration frames, and during each frame a different one of the signals that unit 201 employs can be sent to unit 301 for authentication. If all of the signals are authenticated, then one can trust that the position asserted by unit 201 is valid in the sense that it has not been compromised by a hostile party causing it to receive bogus signals.
  • It should also be noted that the location can be computed using more than the minimum number of satellites (4 satellites to compute latitude, longitude, elevation and GPS time) and that not all of the satellite signals need to be authenticated. Having a majority of the signals authenticated can be used to test the consistency of non-authenticated signals, provided that the location estimate reported by unit 201 agrees with the location estimate developed using a subset of authenticated satellites.
  • Once confidence is gained about the signals provided by unit 201 that are used to compute a global position of unit 201 then one can also have confidence in an identification of the global position by unit 201 as asserted by unit 201. This assumes, of course, that unit 201 does compute its global position (in a completely conventional way) and reports its position to unit 301.
  • Alternatively, instead of trusting unit 201's assertion of its position, it is possible to have unit 301 compute the position of unit 201. This secure position determination is achieved by unit 201 sending the equation (24) signals of a number of satellites that is necessary to compute a position. Noting that the δ determined relative to a satellite informs of the transit delay from the satellite to unit 201BA+δ), given a sufficient number of transit delays (combined with unit 301's global position and information about the satellites' locations) the global position of unit 201 can be ascertained through conventional calculations.
  • It may be appreciated that authenticating an asserted position, or securely determining a position, does not need to be done continually. At times the global position of unit 201 is immaterial. At other times, one can assume that unit 201 has not significantly wandered off the authenticated position. Therefore, in many applications it is acceptable if unit 201 sends only a signal segment, or snapshot, to unit 301. In other applications it may be advisable to send a signal snapshot on some regular basis.
  • It should be appreciated that the FIG. 4 arrangement where unit 201 is within computer 200 and utilizes the computing power that is otherwise available in the computer is merely illustrative. Unit 201 may have the full computing capabilities within itself (note the processor in unit 201), and it may be a stand-alone item, an item that is pluggable into a device such as portable 200, or it may be permanently (or semi-permanently) attached to an article and so transported from place to place; e.g., attached to a shipping container.
  • It should also be appreciated that unit 201 may contain a memory for storing one or more signal segments (raw, or processed), and the stored information may be communicated to unit 301 at some later time (i.e., a non-real time operation) by relatively direct connection; that is, without the use of a communication network that is shown in FIG. 4. The transfer of information may be initiated by a push-button switch in unit 201 (not explicitly shown in FIG. 4), by an electronic instruction from unit 301, by physically transferring the memory from unit 203 (see FIG. 7) to an appropriate connector on unit 301, or by some other conventional means.
  • The above discloses an arrangement where unit 201 sends to unit 301 the signal of equation (24), which is the signal after carrier wipeoff relative to satellite n. When sending the signals of M satellites, M such signals need to be sent. There are certainly applications where this is acceptable but if the N4 signals need to be sent concurrently, then the bandwidth of path 30 must be M times greater than the bandwidth required to send one signal.
  • In an alternative embodiment, shown in FIG. 6, rather than sending quadrature channel signal as described above, unit 201 sends to unit 302 the raw data and also sends the computed Doppler frequency and carrier phase estimates for at least each of the satellites that is used in computing its global position. The difference between unit 301 and 302 is that in unit 302 the raw data and the estimates are processed in processor 24 to develop the quadrature channel signal of equation (24). The bandwidth requirement (for sending the signal from unit 201 to unit 301) is essentially unchanged from the bandwidth needed for one satellite signal.
  • In some applications a small size for the device (unit 200 in FIG. 4) may be more important than the ability of the device to know its own global position. Indeed, in some applications it may be totally unimportant for the GPS receiver to know its location but, rather, it may suffice for the other receiver (e.g., unit 301 in FIG. 4) to know where unit 200 is, or has been. In other words, there are applications where it may not be necessary for the GPS receiver do the processing that is associated determining its global position. To that end, unit 203 (FIG. 7) needs to merely send its raw signal to receiver 303 (FIG. 7), or record signal segments internally for future delivery to unit 303.
  • Approach B
  • FIG. 7 depicts an arrangement with the GPS receiver 203 that is optionally devoid of the processing that involves carrier wipeoff and code wipeoff. The receiver, 203, only downshifts the received signal and sends this raw data to receiver 303 (without any delay, Doppler shift, or phase estimates), together, perhaps with some general information about its presumed (or asserted) location. The raw data might be sent immediately, or stored in a local memory, and sent at a later time. In other words, the signal that is provided to receiver 303 by receiver 203 is:
  • S downshifted A = A A D A ( t - τ A ) x C A ( t - τ A ) cos ( 2 π ( f IF + f D A ) t + θ 1 A ) + BD ( t - τ A ) x Y A ( t - τ A ) sin ( 2 π ( f IF + f D A ) t + θ 1 A ) ( 34 )
  • and a rough location information which, from satellite orbit tables that are publicly Known, an estimate {circumflex over (f)}D A is obtained. The rough information may be in the form of an assertion as to the location of receiver 203. It is recognized that no information is available about the value of θA, and that the estimate {circumflex over (f)}D A is likely to be inaccurate but it is nevertheless helpful, as is demonstrated below. Absent information about θA, processor 24 executes non-coherent demodulation and multiplies the incoming signal by

  • cos 2π(f 1F+{circumflex over (F)}D A)t+i sin2π(f 1F+{circumflex over (f)}D A)t   (35)
  • to result in
  • A A D A ( t - τ A ) x C A ( t - τ A ) { cos ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A ) + cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A ) - sin ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A ) + sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A ) } + B A D A ( t - τ A ) x Y A ( t - τ A ) { sin ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A ) + sin ( 2 π ( f D A - f ^ D A ) t + θ 1 A ) + cos ( 2 π ( 2 f IF + f D A + f ^ D A ) t + θ 1 A ) - cos ( 2 π ( f D A - f ^ D A ) t + θ 1 A ) } ( 36 )
  • and recognizing that a later integration operation operates as a low pass filter that discards the signal components that include the 2f1F frequency, equation (34) can be simplified to

  • S 1 A +S Q A=(W+X)+i(Y−Z)   (37)

  • where

  • W=A A D A(t−τ A)x C A(t−τ A)cos(2π(f D A −{circumflex over (f)} D A)t+θ 1 A)   (38)

  • X=B A D A(t−τ A)xY A(t−τ A)sin(2π(f D A −{circumflex over (f)} D A)t+θ 1 A)   (39)

  • Y=A A D A(t−τ A)xC A(t−τ A)sin(2π(f D A −{circumflex over (f)} D A)t+θ 1 A)   (40)

  • and Z=B A D A(t−τ A)xY A(t−τ A)cos(2π(f D A −{circumflex over (f)} D A)t+θ 1 A)   (41)
  • Delay element 21 of FIG. 7 introduces delay δ, and element 26 in the FIG. 7 embodiment executes the integration

  • S=√{square root over (∫S1 A(delayed)×S Q B)2+(∫S Q A(delayed)×S Q B)2)}{square root over (∫S1 A(delayed)×S Q B)2+(∫S Q A(delayed)×S Q B)2)}.   (42)
  • Noting that equation (25) specifies SQ B, which can be expressed by

  • S Q B =U+V

  • where

  • U=A B D B(t−τ B)xC B(t−{circumflex over (τ)} B)sin(2π(f D B −{circumflex over (f)} D B)t+θ 1 B−{circumflex over (θ)}1 B)   (43)

  • and V=−B B D B(t−τ B)xY B(t−{circumflex over (τ)} B)cos(2π(f D B −{circumflex over (f)} D B)t+θ 1 B−{circumflex over (θ)}1 B)   (43)
  • equation (42) can be expressed as
  • S = ( ( W U + W V + X U + X V ) ) 2 + ( ( Y U + Y V + Z U + Z V ) ) 2 ( 45 )
  • where the primed variables (e.g., W′) are the delayed version of the unprimed variables (e.g., W).
  • A number of observations and approximations can be made that reduce the complexity of equation (45).
    • Since the approximations of the Doppler frequency and carrier phase shift for unit 303 signal are good, the U term can be replaced by 0, and the cos( ) term in the V term can be replaced by 1.
    • The W and the Y terms have the xC A(t−τ A) code signal multiplier whereas the V term has the xY B(t−{circumflex over (τ)}A) code signal multiplier, and since the two codes are orthogonal to each other, the contributions of the WV and the YV terms to the integral is roughly 0
    • As indicated above, the estimate {circumflex over (f)}D Ais not necessarily an accurate estimate, but even it if a rough estimate, the resulting trigonometric function varies slowly relative to the chip rate of the Y code, which allows the non-trigonometric factors that are common to XV and ZV to be factored out, and then the sum of squared sin( ) and cos( ) terms that remain can be replaced by 1.
  • The above allows reducing equation (45) to

  • S=B A B B ∫D A( t−τ A−δ)D B(t−τ B)x Y A(t−τ A−δ)x Y B(t−{circumflex over (τ)} B),   (46)
  • so it is quite clear that the integration result exhibits a maximum when τA+δ={circumflex over (τ)}B and the code xY A(t)=xx B(t).
  • As before, controller 23 finds the delay δ that provides the peak value of S, and compares it to other values in order to determine whether the signal send by unit 203 contains a bona fide signal from that particular satellite for which the processing operation of equation (46) was just executed.
  • Needless to say, Approaches A and B, described above, are simply two preferred implementations and many variations exist. For example, unit 201 could send C/A code information as well as Y code information. In this case, unit 301 could determine the relative timing, δ=τB−τA, for the C/A code as well as the Y code and insist that they agree. Other variations exist. Under Approach A, unit 201 performs code and carrier wipeoff and unit 301 coherently demodulates the data. Under Approach B, unit 201 does not perform code or carrier wipeoff. Rather, it sends, more primitive, downshifted data, and unit 301 performs non-coherent demodulation. This pairing is mutable. In other words, unit 201 could send downshifted data and unit 301 could perform coherent demodulation.
  • The software with which one might wish to implement a particular embodiment of the invention disclosed herein is fairly simple to implement; though, of course, it takes time to create, as all software does. Notwithstanding the fact that the software needed to implement the invention disclosed herein is totally straight forward and can be easily implemented without undue experimentation by any person skilled in the art, to assist the reader, an appendix is included herein of all actual embodiment.
  • The above illustrative embodiment has the first receiver in a portable computer and the second receiver in gateway that is remote from the portable computer. Perhaps it should be mentioned explicitly that the assumption is that the signal received by receiver 301 is not impacted by a bogus signal to which the portable computer may be subjected. A mere physical separation, when it is big enough so that the receivers are not subjected to the signal of a given (bogus) source, tends to insure this situation because a hostile party is not likely to be able to send a bogus signal to portable 200 and to also send an appropriate replica of the same bogus signal to receiver 301. Additionally, receiver 301 can take steps to insure that this does not happen by, for example, using antennas that are electronically directed to respond well to signals only from certain directions (where the satellites are expected to be) and to not respond well to signals from other directions.
  • The above illustrative embodiment focuses on the processing being done in gateway 300. This makes sense for the illustrative embodiment, but it should be realized that other embodiments are certainly possible where it may be desirable to perform the processing in a moving unit that contains the receivers that outputs signal A and which potentially is under electronic attack (e.g., an airplane), for example, where the action in response to the authentication takes place in moving unit and/or when there are so many moving units that processing in the unit that generates signal B might overload the capability of the processor that is available at that location.
  • It should also be noted that the receiver that generates signal B does not need to be stationary because, as indicated above, mutual authentication is possible if the distance between the two receivers is big enough so that the receivers are not subjected to the signal of a given (bogus) source.
  • The above illustrative embodiment is a two party example (portable 200 and gateway 300). FIG. 8 presents an illustrative example of a three party embodiment, involving a supplicant (e.g., portable 200), a resource (e.g., gateway 300) and an authentication authority. Signal A is provided by the supplicant, signal B is provided by the authentication authority and the processing is performed in any of the three locations, depending on the particular application and the desires of the parties. It may be noted that just as there is a memory in unit 201 of FIG. 4 for storing time segments of data, unit 301 can also include a memory for storing raw or processed data; particularly for applications where the at least some of the authentication processing is perform in other than the authentication authority.
  • One advantage of the FIG. 8 embodiment is that it efficiently supports many supplicant-resource pairs because it requires no GPS receiving or sophisticated processing by the resource, and because the authentication authority can afford to make greater efforts to insure that its signal B is authentic. For example, the supplicants can be bank customers, and the resources can be banks. High powered satellite antennas that are highly directional are expensive, and banks generally would be happy to not have to invest in such antennas but allow an authentication authority to guarantee that signal B is authentic. The authentication authority, on the other hand, can afford to employ expensive antenna arrangements and other techniques to insure the bona fide of signal B because the cost may be amortized over many customers of the authentication authority.
  • In addition (or in lieu of) using very directional antennas, the authentication authority can be located at some physically remote location that is secure from transmission by hostile parties. The remoteness makes it more likely than not that a hostile party will not succeed in transmitting to the directional antennas, and it will almost certainly ensure that whatever hostile signal is transmitted to units 201 will not correspond to the hostile signals to which the authentication authority might be subjected. By contrast, banks are situated in locations that are readily accessible to all.
  • Further, the authentication authority can be located permanently at its secure location and can make the effort to know its own global position with great accuracy, in contrast to banks that sometimes change locations. This allows the authentication authority to compute its location from the received signals and by comparing the computed location with the known location it can confirm that its received signals are bona fide. Moreover, since the authentication of a location is effectively decided by comparing an asserted location to a location computed relative to the location of the authentication authority, an accurate location of the authentication authority is important.
  • Further still, the authentication authority can itself receive other signals that it can process to confirm the bona fide of its signal B—for example, from locations that are greatly removed from the authentication authority location that receives signal B, or from other systems (e.g., LORAN).
  • In yet another improvement, the authentication authority has a number of facilities, at different locations around the globe, and the signal B that is used for processing is from a location that is selected truly randomly (in contrast to pseudorandomly) from among the different locations.
  • It should be noted that in the above example of bank customers, banks, and an authentication authority, the banks may be satisfied to direct customers to send signal A to the authentication authority and have the authentication authority provide the bank (via a securely transmitted message) the location of the supplicant customer and a confirmation that the location is authentic. Presumably, this would allow the bank to proceed with the transaction in which the bank customer wishes to engage. On the other hand, the bank may wish to merely receive signal B from the authentication authority and itself accept signal A from its customers and itself do the processing. In the first case, the processing is done at the authentication authority, while in the second case the processing is done at the resource.
  • Thus useful embodiments exist where the processing is performed in the supplicant's equipment, in the resource's equipment, or in the authentication authority equipment.
  • By way of example and not by way of limitation, the following illustrates a number of applications, in addition to the applications described above, to which the principles disclosed herein are applicable.
    • Information & Asset Protection: Determine location of a device, such as portable computer 201, and allow operation of that device or access to sensitive information on the device only if the device is at an authorized location or within an authorized zone.
    • Financial Transaction assurance: Verify that the person (or agent) at the other end of a communication channel is really who the person claims to be, by verifying that the communication originates from a known, authorized, and secure location.
    • Fraud Detection & Non-repudiation: Check whether a transaction originated from where it claims to have originated, and thereby acquire a confirmation that a document to which an electronic signature is affixed (or other means of verifying a transaction/communication) really did originate from where the message claims to have originated.
    • Asset Tracking & Route Auditing: Confirm where an object is and/or recreate the route that the object followed during a chosen time span (e.g., while being transported)—by recording signal segments and later processing the signal segments.
    • Internet & Online Security: Confirm that a party that provides information or seeks information (e.g., a web server) is located at a particular spot, which location presumably can be checked against online public databases or printed (and presumably secure/unmodified) versions of databases.
    • Secure Electronic communication: Use location to verify identity and to increase security of cryptographic key exchange between two or more parties. This includes distribution of encryption/decryption keys (either symmetric or asymmetric), where only a supplicant with the correct geo-location can obtain the cryptographic key; or even more securely, where the key is never communicated directly, even in encrypted form, and only a supplicant with the correct geo-location can determine the cryptographic key.
    • Smartcards & Access Control: Confirm location during an access-request transaction with a centralized access-granting authority.
  • %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %
    % %
    % CarrierWipeoff.m %
    % %
    % Carrier wipeoff for two-receiver P(Y)-code correlation. %
    % David S. De Lorenzo %
    % %
    % This function either performs exact carrier wipeoff using %
    % Doppler and carrier-phase estimates from signal tracking _OR %
    % performs approximate carrier wipeoff using a Doppler estimate %
    % from acquisition or A-GPS-like aiding. %
    % From exact carrier wipeoff, the C/A-code is isolated to the %
    % inphase I-channel while the P(Y)-code, being in phase %
    % quadrature, is isolated to the quadrature Q-channel; %
    % correlation processing therefore can select the Q-channel %
    % only for detection of the presence of P(Y)-code modulation. %
    % From approximate carrier wipeoff, the C/A-code and the %
    % P(Y)-code are not isolated to I/Q-channels; correlation %
    % processing must utilize both the I-channel and the Q-channel %
    % for detection of P(Y)-code modulation - and must rely on the %
    % signal from the other receiver to have undergone exact %
    % carrier wipeoff. %
    % %
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %
    clear
    exactDopplerWipeoff = ‘yes’;
    % exactDopplerWipeoff = ‘no’;
    load(‘trackResults_SU_1645_PRN23_1_2sec_CA_FRPA.mat’)
    fidIn = fopen(‘SU_1645_1’, ‘r’);
    fidOut = fopen(‘SU_1645_PRN23_2sec_CarrierWipeoff_IQ’, ‘w’);
    % Skip samples at begining of file
    fseek(fidIn, settings.bytesToSkip, ‘bof’);
    % Skip samples from acquisition
    % *** this only works if a cold-start acquisition was performed ***
    %   1 or 2 for real/complex dataType
    %   4 for ‘float32’ dataFormat
    %
      2 for number of acquisition blocks
    if strcmp(settings.dataType, ‘complex’)
     fseek(fidIn, 2*4*2*settings.samplesPer1ms* ...
        settings.acqMsToProcess, ‘cof’);
    elseif strcmp(settings.dataType, ‘real’)
     fseek(fidIn, 1*4*2*settings.samplesPer1ms* ...
        settings.acqMsToProcess, ‘cof’);
    end
    % Relative time/phase of each sample point w.r.t. the sampling epoch
    timePoints = (0:settings.samplesPer1ms−1) / settings.samplingFreq;
    phasePoints = 2 * pi * timePoints;
    % Loop over blockNumber
    for blockNumber = 1:settings.msToProcess−1,
    if mod(blockNumber,100) == 1, disp(blockNumber), end
    if strcmp(settings.dataType, ‘complex’)
     % Read complex data as 2 rows of real-valued matrix
     dataInTemp = ...
      fread(fidIn, [2 settings.samplesPer1ms], ‘float32’);
     % Build complex-valued data array
     dataIn = complex(dataInTemp(1,:), dataInTemp(2,:));
    elseif strcmp(settings.dataType, ‘real’)
     % Read data as 1 row of real-valued matrix
     dataIn = ...
      fread(fidIn, [1 settings.samplesPer1ms], ‘float32’);
    end
    % Set value of carrier-phase and carrier frequency for this epoch
    if blockNumber == 1
     if strcmp(exactDopplerWipeoff, ‘yes’)
      % Based on acquisition results
      carrierFreq = ...
       acqResults.carrierFreq(trackResults.PRN);
      carrierPhaseInt = ...
       acqResults.carrierPhase(trackResults.PRN);
      carrierPhase = mod(carrierPhaseInt, 2*pi);
     elseif strcmp(exactDopplerWipeoff, ‘no’)
      % Based on A-GPS estimates
      carrierFreq = ...
       round(mean(trackResults.carrierFreq(end-500:end)));
      carrierPhaseInt = 0;  % user specified value
      carrierPhase = mod(carrierPhaseInt, 2*pi);
    end
    else
     % Based on propogated value of carrier-phase
     carrierPhaseInt = carrierPhaseInt + ...
      2 * pi * settings.samplesPer1ms * ...
      carrierFreq / settings.samplingFreq;
     carrierPhase = mod(carrierPhaseInt, 2*pi);
     if strcmp(exactDopplerWipeoff, ‘yes’)
      % Use ‘exact’ Doppler estimate from PLL
      carrierFreq = ...
       1/2 * (trackResults.carrierFreq(blockNumber−1) + ...
         trackResults.carrierFreq(blockNumber));
     elseif strcmp(exactDopplerWipeoff, ‘no’)
      % Use approximate Doppler, like if we had A-GPS
      carrierFreq = carrierFreq;
     end
    end
    % Create the I & Q mixing vector (complex)
    IQ = exp(−j * (carrierFreq * phasePoints + carrierPhase));
    % Wipeoff the carrier (complex)
    dataInIQ = IQ .* dataIn;
    % Build real-valued data matrix
    dataOut = [real(dataInIQ); imag(dataInIQ)];
    % Write complex data as 2 rows of real-valued matrix
     fwrite(fidOut, dataOut, ‘float32’);
    end
    % Close all files
    fclose(‘all’);
    figure(1)
    subplot(2,1,1)
    plot(real(dataInIQ))
    subplot(2,1,2)
    plot(imag(dataInIQ))
    figure(2)
    subplot(2,1,1)
    hist(real(dataInIQ), 100)
    subplot(2,1,2)
    hist(imag(dataInIQ), 100)
    CA = settings.codeTable(trackResults.PRN,:);
    codePts = settings.codeFreq * settings.timePoints − ...
     acqResults.codePhase(trackResults.PRN);
    replicaPrompt = CA(floor(mod(codePts, settings.chipsPer1ms)) + 1);
    figure(11)
    subplot(2,1,1)
    plot(xcorr(replicaPrompt,real(dataInIQ)))
    subplot(2,1,2)
    plot(xcorr(replicaPrompt,imag(dataInIQ)))
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %
    % %
    % AuthenticationDopplerSearchAndCorrelate.m %
    % %
    % Two-receiver P(Y)-code correlation using approximate Doppler. %
    % David S. De Lorenzo %
    % %
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %
    clear
    comparison = ‘dish2patch’;
    % comparison = ‘patch2patch’;
    % The following settings are user-specified values to perform rough
    % alignment between Reference Station data file and User Device data
    % file, as well as to control the size of the window over which to
    % search in the Reference Station and the integration time for the
    % two-receiver P(Y)-code correlation search.
    if strcmp(comparison, ‘dish2patch’)
     skip_ReferenceStation = 1000;  % ms to skip in ref station data
     skip_UserDevice =  600;  % ms to skip in user device data
     read_ReferenceStation =  250;  % data window at reference station
     read_UserDevice =  100;  % data window at user device
    elseif strcmp(comparison, ‘patch2patch’)
     skip_ReferenceStation = 1000;  % ms to skip in ref station data
     skip_UserDevice =  800;  % ms to skip in user device data
     read_ReferenceStation =  250;  % data window at reference station
    read_UserDevice =  100;  % data window at user device
    end
    %--- Load settings --------------------------------------------------%
    if strcmp(comparison, ‘dish2patch’)
     load(‘trackResults_SU_1645_PRN23_1_2sec_CA_FRPA.mat’, ‘settings’)
    elseif strcmp(comparison, ‘patch2patch’)
     load(‘trackResults_SU_1545_PRN23_1_2sec_CA_FRPA.mat’, ‘settings’)
    end
    samplingFreq = settings.samplingFreq;
    samplesPer1ms = settings.samplesPer1ms;
    dataType = settings.dataType;
    dataFormat = settings.dataFormat;
    clear(‘settings’)
    %--- Load tracking results (need it for Doppler search) -------------%
    if strcmp(comparison, ‘dish2patch’)
     load(‘trackResults_CU_1645_PRN23_1_2sec_CA_FRPA.mat’, ...
      ‘trackResults’)
    elseif strcmp(comparison, ‘patch2patch’)
     load(‘trackResults_CU_1545_PRN23_1_2sec_CA_FRPA.mat’, ...
      ‘trackResults’)
    end
    trackResults_UserDevice = trackResults;
    clear(‘trackResults’)
    %--- Reference Station ----------------------------------------------%
    % Open post-wipeoff data file for Reference Station
    if strcmp(comparison, ‘dish2patch’)
     fid_ReferenceStation = ...
      fopen(‘SU_1645_PRN23_2sec_CarrierWipeoff_IQ’, ‘r’);
    elseif strcmp(comparison, ‘patch2patch’)
     fid_ReferenceStation = ...
      fopen(‘SU_1545_PRN23_2sec_CarrierWipeoff_IQ’, ‘r’);
    end
    % Skip samples
    %  2 for complex dataType
    %  4 for ‘float32’ dataFormat
    if strcmp(dataType, ‘complex’) && strcmp(dataFormat, ‘float32’)
     fseek(fid_ReferenceStation, ...
      2*4*skip_ReferenceStation*samplesPer1ms, ‘cof’);
    else
     disp(‘error’)
    end
    % Read samples
    data_ReferenceStation = fread(fid_ReferenceStation, ...
     [2 read_ReferenceStation*samplesPer1ms], dataFormat);
            data_ReferenceStation = complex(data_ReferenceStation(1,:), ...
    data_ReferenceStation(2,:));
    % FFT
    data_ReferenceStation_FFT_Qchannel = fft(imag(data_ReferenceStation));
    %--- User Device ----------------------------------------------------%
    % Open raw data file for User Device
    if strcmp(comparison, ‘dish2patch’)
     fid_UserDevice = fopen(‘CU_1645_1’, ‘r’);
    elseif strcmp(comparison, ‘patch2patch’)
     fid_UserDevice = fopen(‘CU_1545_1’, ‘r’);
    end
    % Skip samples
    %  2 for complex dataType
    %  4 for ‘float32’ dataFormat
    if strcmp(dataType, ‘complex’) && strcmp(dataFormat, ‘float32’)
     fseek(fid_UserDevice, 2*4*skip_UserDevice*samplesPer1ms, ‘cof’);
    else
     disp(‘error’)
    end
    % Read samples
    data_UserDevice = fread(fid_UserDevice, ...
     [2 read_UserDevice*samplesPer1ms], dataFormat);
    data_UserDevice = complex(data_UserDevice(1,:), ...
            data_UserDevice(2,:));
    %--- Doppler Search -------------------------------------------------%
    % Relative time/phase of each sample point w.r.t. the sampling epoch
    timePoints = (0:length(data_UserDevice)−1) / samplingFreq;
    phasePoints = 2 * pi * timePoints;
    % Doppler center frequency and search bin spacing
    carrierFreqCenter = ...
     mean(trackResults_UserDevice.carrierFreq(end−1000:end));
    dopplerBinHz = (1/5 / read_UserDevice) * 1000;
    % Dimension results storage
    results = zeros(21,length(data_ReferenceStation_FFT_Qchannel)/100);
    resultsMax = zeros(size(data_ReferenceStation_FFT_Qchannel));
    % Loop over Doppler estimate
    for binNum = −10:10,
     disp([‘search bin number ‘ num2str(binNum + 11) ’ of 21’])
     carrierFreq = carrierFreqCenter + binNum * dopplerBinHz;
     % Create the I & Q mixing vector (complex)
     IQ = exp(−j * carrierFreq * phasePoints);
     % Wipeoff the carrier (complex)
     data_UserDeviceIQ = IQ .* data_UserDevice;
     % Correlate with Reference Station Q-channel
     c = abs(ifft( ...
      fft([imag(data_UserDeviceIQ) ...
       zeros(1,length(data_ReferenceStation_FFT_Qchannel) − ...
         length(data_UserDeviceIQ))]) .* ...
      conj(data_ReferenceStation_FFT_Qchannel)));
     [y,ii] = max(c);
     results(binNum+11,:) = c(mod(ii,100):100:end);
     if y > max(resultsMax)
      resultsMax = c;
     end
    end
    % Plot mesh of results
    figure(1)
    mesh((1:100:length(data_ReferenceStation)) / samplingFreq, ...
      carrierFreqCenter + (−10:10)*dopplerBinHz, ...
      results)
    % Plot 2D results
    figure(2)
    plot((1:length(data_ReferenceStation)) / samplingFreq, resultsMax)
    fclose(‘all’);
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %
    % %
    %  AuthenticationExactDopplerAndCorrelate.m %
    % %
    %  Two-receiver P(Y)-code correlation using exact Doppler & phase. %
    %  David S. De Lorenzo %
    % %
    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %
    clear
    comparison = ‘dish2patch’;
    % comparison = ‘patch2patch’;
    % The following settings are user-specified values to perform rough
    % alignment between Reference Station data file and User Device data
    % file, as well as to control the size of the window over which to
    % search in the Reference Station and the integration time for the
    % two-receiver P(Y)-code correlation search.
    if strcmp(comparison, ‘dish2patch’)
     skip_ReferenceStation = 1000;  % ms to skip in ref station data
     skip_UserDevice =  600;  % ms to skip in user device data
     read_ReferenceStation =  250;  % data window at reference station
     read_UserDevice =  100;  % data window at user device
    elseif strcmp(comparison, ‘patch2patch’)
     skip_ReferenceStation = 1000;  % ms to skip in ref station data
     skip_UserDevice =  800;  % ms to skip in user device data
     read_ReferenceStation =  250;  % data window at reference station
     read_UserDevice =  100;  % data window at user device
    end
    %--- Load settings --------------------------------------------------%
    if strcmp(comparison, ‘dish2patch’)
     load(‘trackResults_SU_1645_PRN23_1_2sec_CA_FRPA.mat’, ‘settings’)
    elseif strcmp(comparison, ‘patch2patch’)
     load(‘trackResults_SU_1545_PRN23_1_2sec_CA_FRPA.mat’, ‘settings’)
    end
    samplingFreq = settings.samplingFreq;
    samplesPer1ms = settings.samplesPer1ms;
    dataType = settings.dataType;
    dataFormat = settings.dataFormat;
    clear(‘settings’)
    %--- Reference Station ----------------------------------------------%
    % Open post-wipeoff data file for Reference Station
    if strcmp(comparison, ‘dish2patch’)
     fid_ReferenceStation = ...
      fopen(‘SU_1645_PRN23_2sec_CarrierWipeoff_IQ’, ‘r’);
    elseif strcmp(comparison, ‘patch2patch’)
     fid_ReferenceStation = ...
      fopen(‘SU_1545_PRN23_2sec_CarrierWipeoff_IQ’, ‘r’);
    end
    % Skip samples
    %  2 for complex dataType
    %  4 for ‘float32’ dataFormat
    if strcmp(dataType, ‘complex’) && strcmp(dataFormat, ‘float32’)
     fseek(fid_ReferenceStation, 2*4*skip_ReferenceStation* ...
            samplesPer1ms, ‘cof’);
    else
     disp(‘error’)
    end
    % Read samples
    data_ReferenceStation = fread(fid_ReferenceStation, ...
     [2 read_ReferenceStation*samplesPer1ms], dataFormat);
    data_ReferenceStation = complex(data_ReferenceStation(1,:), ...
    data_ReferenceStation(2,:));
    % FFT
    data_ReferenceStation_FFT_Ichannel = fft(real(data_ReferenceStation));
    data_ReferenceStation_FFT_Qchannel = fft(imag(data_ReferenceStation));
    %--- User Device ----------------------------------------------------%
    % Open post-wipeoff data file for User Device
    if strcmp(comparison, ‘dish2patch’)
     fid_UserDevice = ...
      fopen(‘CU_1645_PRN23_2sec_CarrierWipeoff_IQ’, ‘r’);
    elseif strcmp(comparison, ‘patch2patch’)
     fid_UserDevice = ...
      fopen(‘CU_1545_PRN23_2sec_CarrierWipeoff_IQ’, ‘r’);
    end
    % Skip samples
    %  2 for complex dataType
    %  4 for ‘float32’ dataFormat
    if strcmp(dataType, ‘complex’) && strcmp(dataFormat, ‘float32’)
      fseek(fid_UserDevice, 2*4*skip_UserDevice*samplesPer1ms, ‘cof’);
    else
     disp(‘error’)
    end
    % Read samples
    data_UserDevice = fread(fid_UserDevice, ...
     [2 read_UserDevice*samplesPer1ms], dataFormat);
    data_UserDevice = complex(data_UserDevice(1,:), ...
    data_UserDevice(2,:));
    %--- Correlation ----------------------------------------------------%
    % Correlate with Reference Station I-channel
    resultsI = abs(ifft( ...
     fft([real(data_UserDevice) ...
       zeros(1,length(data_ReferenceStation_FFT_Ichannel) − ...
            length(data_UserDevice))]) .* ...
    conj(data_ReferenceStation_FFT_Ichannel)));
    % Correlate with Reference Station Q-channel
    resultsQ = abs(ifft( ...
     fft([imag(data_UserDevice) ...
       zeros(1,length(data_ReferenceStation_FFT_Qchannel) − ...
           length(data_UserDevice))]) .* ...
     conj(data_ReferenceStation_FFT_Qchannel)));
    %--- Plotting -------------------------------------------------------%
    % Plot 2D results - I-channel --> should show no correlation peak
    figure(3)
    plot((1:length(data_ReferenceStation)) / samplingFreq, resultsI)
    % Plot 2D results - Q-channel --> should show P(Y)-code peak
    figure(4)
    plot((1:length(data_ReferenceStation)) / samplingFreq, resultsQ)
    fclose(‘all’);

Claims (11)

1. An arrangement comprising:
a first receiver for receiving at least one signal from a source, which signal contains an unknown signal that is altered in course of transition from said source to said first receiver;
a second receiver for receiving at least one signal that purportedly is from said source and is altered in course of transition from said source to said second location; and
a processor for processing a signal portion of said at least one signal received by said first receiver and a signal portion from said at least one signal received by said second receiver.
2. The arrangement of claim 1 where said first receiver is adapted to ensure that each of said at least one signal originates from a satellite.
3. The arrangement of claim 2 where said first receiver employs a directional antenna.
4. The arrangement of claim 1 where said processing determines whether said second signal does originate from said source.
5. The arrangement of claim 4 where, in determining whether said second signal does originate from said source, said processing determines whether the unknown signal contained in said at least one signal received by said first receiver, corresponds to the unknown signal contained in said at least one signal received by said second receiver.
6. The arrangement of claim 5 where said determining whether the unknown signal contained in said at least one signal received by said First receiver corresponds to the unknown signal contained in said at least one signal received by said second receiver involves a correlation operation.
7. The arrangement of claim 4 where said processing further determines global position of said second receiver relative to global position of said first receiver.
8. The arrangement of claim 4 where the second location is significantly different from said first location.
9. The arrangement of claim 4 where said processing is at a situs of said second receiver.
10. The arrangement of claim 1 where said processing is at a situs of said first receiver.
11. The apparatus of claim 1 where said processing is at a situs other than situs of said first receiver or situs of said second receiver.
US12/012,412 2008-02-02 2008-02-02 Authenticating a signal based on an unknown component thereof Active 2028-04-24 US7969354B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
US12/012,412 US7969354B2 (en) 2008-02-02 2008-02-02 Authenticating a signal based on an unknown component thereof

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US12/012,412 US7969354B2 (en) 2008-02-02 2008-02-02 Authenticating a signal based on an unknown component thereof

Publications (2)

Publication Number Publication Date
US20090195443A1 true US20090195443A1 (en) 2009-08-06
US7969354B2 US7969354B2 (en) 2011-06-28

Family

ID=40931153

Family Applications (1)

Application Number Title Priority Date Filing Date
US12/012,412 Active 2028-04-24 US7969354B2 (en) 2008-02-02 2008-02-02 Authenticating a signal based on an unknown component thereof

Country Status (1)

Country Link
US (1) US7969354B2 (en)

Cited By (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7941379B1 (en) * 2009-06-25 2011-05-10 Symantec Corporation Systems and methods for using geo-location information in sensitive internet transactions
EP2397868A1 (en) 2010-06-15 2011-12-21 The European Union, represented by the European Commission Method of providing an authenticable time-and-location indication
WO2012007720A1 (en) 2010-07-14 2012-01-19 Thales Holdings Uk Plc Method of processing a satellite navigation signal
EP2562560A1 (en) * 2011-08-24 2013-02-27 Thales Method and system for detecting fraudulent positioning information from a mobile device
WO2014062320A1 (en) * 2012-10-16 2014-04-24 The Boeing Company Server algoriths to improve space based authentication
US8712051B2 (en) 2009-03-13 2014-04-29 Cornell University Spoofing detection for civilian GNSS signals
EP2746813A1 (en) * 2012-12-21 2014-06-25 Astrium GmbH Detection of spoofing of GNSS navigation signals
US8930556B2 (en) 2011-09-05 2015-01-06 The Boeing Company Authentication based on random bits in satellite navigation messages
NL2013831A (en) * 2013-05-29 2015-01-13 Willem Folkers Method for reducing a risk of tampering and/or spoofing of location data of an object over time.
EP2824480A1 (en) 2013-07-09 2015-01-14 The European Union, represented by the European Commission Digitally-signed satellite radio-navigation signals
US20150171917A1 (en) * 2012-06-27 2015-06-18 Airbus Defence And Space Limited Global navigation satellite system
IT201700102599A1 (en) * 2017-09-13 2019-03-13 Thales Alenia Space Italia Spa Con Unico Socio DISSEMINATION OF TRUST OF A TIMER REFERENCE SCALE OF USER TERMINALS

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103946721B (en) 2011-11-18 2016-11-02 高通股份有限公司 Global position system certification
US8811614B2 (en) 2012-10-16 2014-08-19 The Boeing Company Space based authentication utilizing signals from low and medium earth orbit
US10495759B2 (en) * 2014-02-13 2019-12-03 The Mitre Corporation GPS spoofing detection techniques

Citations (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5557284A (en) * 1995-02-03 1996-09-17 Honeywell Inc. Spoofing detection system for a satellite positioning system
US5754657A (en) * 1995-08-31 1998-05-19 Trimble Navigation Limited Authentication of a message source
US5757916A (en) * 1995-10-06 1998-05-26 International Series Research, Inc. Method and apparatus for authenticating the location of remote users of networked computing systems
US5790074A (en) * 1996-08-15 1998-08-04 Ericsson, Inc. Automated location verification and authorization system for electronic devices
US5825887A (en) * 1995-12-28 1998-10-20 Trimble Navigation Limited Transmitting and receiving apparatus for full code correlation operation under encryption for satellite positioning system
US5955987A (en) * 1997-01-28 1999-09-21 Northrop Grumman Corporation Hybrid radio frequency system with distributed anti-jam capabilities for navigation use
US6104815A (en) * 1997-01-10 2000-08-15 Silicon Gaming, Inc. Method and apparatus using geographical position and universal time determination means to provide authenticated, secure, on-line communication between remote gaming locations
US6216007B1 (en) * 1998-09-29 2001-04-10 Ericsson Inc. Prevention of alteration of location information for mobile-based location calculation
US20020017977A1 (en) * 2000-08-04 2002-02-14 Wall Mark Emanuel Method and apparatus for licensing and controlling access, use, and viability of product utilizing geographic position
US20040203868A1 (en) * 2002-08-14 2004-10-14 Eidson John C. Measurement authentication
US6934631B2 (en) * 2003-08-13 2005-08-23 Trimble Navigation Limited Method for standard positioning service and precise positioning service cooperative operation
US20070200756A1 (en) * 2004-04-08 2007-08-30 Kenichi Saito Position Guarantee Server, Position Guarantee System, And Position Guarantee Method
US7509201B2 (en) * 2005-01-26 2009-03-24 General Motors Corporation Sensor feedback control for noise and vibration

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4237677B2 (en) 2004-06-02 2009-03-11 インターナショナル・ビジネス・マシーンズ・コーポレーション Acquisition device, access control device, acquisition method, access control method, program, and recording medium

Patent Citations (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5557284A (en) * 1995-02-03 1996-09-17 Honeywell Inc. Spoofing detection system for a satellite positioning system
US5754657A (en) * 1995-08-31 1998-05-19 Trimble Navigation Limited Authentication of a message source
US5757916A (en) * 1995-10-06 1998-05-26 International Series Research, Inc. Method and apparatus for authenticating the location of remote users of networked computing systems
US5825887A (en) * 1995-12-28 1998-10-20 Trimble Navigation Limited Transmitting and receiving apparatus for full code correlation operation under encryption for satellite positioning system
US5790074A (en) * 1996-08-15 1998-08-04 Ericsson, Inc. Automated location verification and authorization system for electronic devices
US6104815A (en) * 1997-01-10 2000-08-15 Silicon Gaming, Inc. Method and apparatus using geographical position and universal time determination means to provide authenticated, secure, on-line communication between remote gaming locations
US5955987A (en) * 1997-01-28 1999-09-21 Northrop Grumman Corporation Hybrid radio frequency system with distributed anti-jam capabilities for navigation use
US6216007B1 (en) * 1998-09-29 2001-04-10 Ericsson Inc. Prevention of alteration of location information for mobile-based location calculation
US20020017977A1 (en) * 2000-08-04 2002-02-14 Wall Mark Emanuel Method and apparatus for licensing and controlling access, use, and viability of product utilizing geographic position
US20040203868A1 (en) * 2002-08-14 2004-10-14 Eidson John C. Measurement authentication
US6934631B2 (en) * 2003-08-13 2005-08-23 Trimble Navigation Limited Method for standard positioning service and precise positioning service cooperative operation
US20070200756A1 (en) * 2004-04-08 2007-08-30 Kenichi Saito Position Guarantee Server, Position Guarantee System, And Position Guarantee Method
US7509201B2 (en) * 2005-01-26 2009-03-24 General Motors Corporation Sensor feedback control for noise and vibration

Cited By (26)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8712051B2 (en) 2009-03-13 2014-04-29 Cornell University Spoofing detection for civilian GNSS signals
US7941379B1 (en) * 2009-06-25 2011-05-10 Symantec Corporation Systems and methods for using geo-location information in sensitive internet transactions
US8948392B2 (en) 2010-06-15 2015-02-03 The European Union, Represented By The European Commission Method of providing an authenticable time-and-location indication
EP2397868A1 (en) 2010-06-15 2011-12-21 The European Union, represented by the European Commission Method of providing an authenticable time-and-location indication
WO2011157554A1 (en) 2010-06-15 2011-12-22 The European Union, Represented By The European Commission Method of providing an authenticable time-and-location indication
WO2012007720A1 (en) 2010-07-14 2012-01-19 Thales Holdings Uk Plc Method of processing a satellite navigation signal
EP2562560A1 (en) * 2011-08-24 2013-02-27 Thales Method and system for detecting fraudulent positioning information from a mobile device
FR2979433A1 (en) * 2011-08-24 2013-03-01 Thales Sa METHOD AND SYSTEM FOR DETECTING POSITION INFORMATION FRAUD OF A MOBILE DEVICE
US9488731B2 (en) 2011-09-05 2016-11-08 The Boeing Company Authentication based on random bits in satellite navigation messages
US8930556B2 (en) 2011-09-05 2015-01-06 The Boeing Company Authentication based on random bits in satellite navigation messages
US9876529B2 (en) * 2012-06-27 2018-01-23 Airbus Defence And Space Limited Global navigation satellite system
US20150171917A1 (en) * 2012-06-27 2015-06-18 Airbus Defence And Space Limited Global navigation satellite system
US9698987B2 (en) 2012-10-16 2017-07-04 The Boeing Company Server algorithms to improve space based authentication
WO2014062320A1 (en) * 2012-10-16 2014-04-24 The Boeing Company Server algoriths to improve space based authentication
CN104704388A (en) * 2012-10-16 2015-06-10 波音公司 Server algoriths to improve space based authentication
US10728032B2 (en) 2012-10-16 2020-07-28 The Boeing Company Server algorithms to improve space based authentication
JP2015535074A (en) * 2012-10-16 2015-12-07 ザ・ボーイング・カンパニーTheBoeing Company Server algorithm to improve space-based authentication
US8837728B2 (en) 2012-10-16 2014-09-16 The Boeing Company Server algorithms to improve space based authentication
JP2018163165A (en) * 2012-10-16 2018-10-18 ザ・ボーイング・カンパニーThe Boeing Company Server algorithms for improving space-based authentication
EP2746813A1 (en) * 2012-12-21 2014-06-25 Astrium GmbH Detection of spoofing of GNSS navigation signals
NL2013831A (en) * 2013-05-29 2015-01-13 Willem Folkers Method for reducing a risk of tampering and/or spoofing of location data of an object over time.
EP2824480A1 (en) 2013-07-09 2015-01-14 The European Union, represented by the European Commission Digitally-signed satellite radio-navigation signals
US9952325B2 (en) 2013-07-09 2018-04-24 The European Union, Represented By The European Commission Digitally-signed satellite radio-navigation signals
IT201700102599A1 (en) * 2017-09-13 2019-03-13 Thales Alenia Space Italia Spa Con Unico Socio DISSEMINATION OF TRUST OF A TIMER REFERENCE SCALE OF USER TERMINALS
WO2019053575A1 (en) * 2017-09-13 2019-03-21 Thales Alenia Space Italia S.P.A. Con Unico Socio Trusted dissemination of a reference time scale to user terminals
US11758494B2 (en) 2017-09-13 2023-09-12 Thales Alenia Space Italia S.P.A. Con Unico Socio Trusted dissemination of a reference time scale to user terminals

Also Published As

Publication number Publication date
US7969354B2 (en) 2011-06-28

Similar Documents

Publication Publication Date Title
US8068054B2 (en) Receiver with means for ensuring bona fide of received signals
US7969354B2 (en) Authenticating a signal based on an unknown component thereof
US20090195354A1 (en) Authenticating a signal based on an unknown component thereof
US20100241864A1 (en) Authenticating an integrated circuit based on stored information
O'Hanlon et al. Real‐time GPS spoofing detection via correlation of encrypted signals
JP6905969B2 (en) Space-based certification using signals from low and medium earth orbits
US10728032B2 (en) Server algorithms to improve space based authentication
US8712051B2 (en) Spoofing detection for civilian GNSS signals
Scott Anti-spoofing & authenticated signal architectures for civil navigation systems
CN104603637B (en) The verification of satellite navigation signals
US8068533B2 (en) Receiver for GPS-like signals
CA2847948C (en) Authentication based on random bits in satellite navigation messages
US20120057658A1 (en) Authenticating a Signal Based on an Unknown Component Thereof
Wesson Secure navigation and timing without local storage of secret keys
Zhang et al. Safeguarding nma enhanced galileo os signals from distance-decreasing attacks
US20230099213A1 (en) Method for detecting spoofing in a gnss (global navigation satellite system) receiver, corresponding receiver apparatus method and computer program product
US8599068B2 (en) Systems and methods for mobile terminal location verification
Caparra et al. An autonomous GNSS anti-spoofing technique
Chiarello Tecniche di Elaborazione dei Segnali per la Protezione dei Segnali GNSS e delle Reti URLLC.
Feschak Delayed Authentication System for Civilian Satellite
Sánchez González GNSS Signal spoofing detection
CN117310754A (en) Navigation signal authentication method based on intermodulation component

Legal Events

Date Code Title Description
AS Assignment

Owner name: ZANIO, INC., MASSACHUSETTS

Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNORS:LEVIN, PETER L.;DELORENZO, DAVID S.;ENGE, PER K.;AND OTHERS;REEL/FRAME:020970/0940

Effective date: 20080501

STCF Information on status: patent grant

Free format text: PATENTED CASE

AS Assignment

Owner name: BOEING COMPANY, THE, ILLINOIS

Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNOR:ZANIO, INC.;REEL/FRAME:027473/0317

Effective date: 20111214

FPAY Fee payment

Year of fee payment: 4

MAFP Maintenance fee payment

Free format text: PAYMENT OF MAINTENANCE FEE, 8TH YR, SMALL ENTITY (ORIGINAL EVENT CODE: M2552); ENTITY STATUS OF PATENT OWNER: SMALL ENTITY

Year of fee payment: 8

MAFP Maintenance fee payment

Free format text: PAYMENT OF MAINTENANCE FEE, 12TH YR, SMALL ENTITY (ORIGINAL EVENT CODE: M2553); ENTITY STATUS OF PATENT OWNER: SMALL ENTITY

Year of fee payment: 12