Time Synchronization of TESLA-enabled GNSS Receivers

• URL: http://arxiv.org/abs/2407.13386v2
• Date: Sat, 30 Nov 2024 03:27:50 GMT
• Title: Time Synchronization of TESLA-enabled GNSS Receivers
• Authors: Jason Anderson, Sherman Lo, Todd Walter,
• Abstract summary: We provide proof of security for each of our algorithms under a delay-capable adversary. We discuss the implications of authentication schemes that use two simultaneous TESLA instances of different authentication cadences.
• Score: 0.8926368123237011
• License:
• Abstract: As TESLA-enabled GNSS for authenticated positioning reaches ubiquity, receivers must use an onboard, GNSS-independent clock and carefully constructed time synchronization algorithms to assert the authenticity afforded. This work provides the necessary checks and synchronization protocols needed in the broadcast-only GNSS context. We provide proof of security for each of our algorithms under a delay-capable adversary. The algorithms included herein enable a GNSS receiver to use its onboard, GNSS-independent clock to determine whether a message arrived at the correct time, to determine whether its onboard, GNSS-independent clock is safe to use and when the clock will no longer be safe in the future due to predicted clock drift, and to resynchronize its onboard, GNSS-independent clock. Each algorithm is safe to use even when an adversary induces delays within the protocol. Moreover, we discuss the implications of GNSS authentication schemes that use two simultaneous TESLA instances of different authentication cadences. To a receiver implementer or standards author, this work provides the necessary implementation algorithms to assert security and provides a comprehensive guide on why these methods are required.

Related papers

• Time-based GNSS attack detection [0.0]
  Cross-checking the provided time against alternative trusted time sources can lead to attack detection aiming at controlling the receiver time. We implement adversaries spanning from simplistic spoofers to advanced ones synchronized with the constellation. The method is largely agnostic to the satellite constellation and the attacker type, making time-based data validation of information compatible with existing receivers and readily deployable.
  arXiv  Detail & Related papers  (2025-02-06T08:28:41Z)
• Ringmaster ASGD: The First Asynchronous SGD with Optimal Time Complexity [92.1840862558718]
  Ringmaster ASGD achieves optimal time complexity under arbitrarily heterogeneous computation times. This makes it the first Asynchronous SGD method to meet the theoretical lower bounds for time complexity in such scenarios.
  arXiv  Detail & Related papers  (2025-01-27T16:07:26Z)
• Using quantum nonlocality for device-independent confirmation of relativistic effects [0.0]
  We explain a simple attack that in principle can cause an arbitrary delay in the signal between sender and receiver. We then propose a way to overcome this problem by using a recently contrived idea of device-independent certification.
  arXiv  Detail & Related papers  (2025-01-08T19:00:18Z)
• Robust Collaborative Perception without External Localization and Clock Devices [52.32342059286222]
  A consistent spatial-temporal coordination across multiple agents is fundamental for collaborative perception. Traditional methods depend on external devices to provide localization and clock signals. We propose a novel approach: aligning by recognizing the inherent geometric patterns within the perceptual data of various agents.
  arXiv  Detail & Related papers  (2024-05-05T15:20:36Z)
• Task-Oriented Communications for NextG: End-to-End Deep Learning and AI Security Aspects [78.84264189471936]
  NextG communication systems are beginning to explore shifting this design paradigm to reliably executing a given task such as in task-oriented communications. Wireless signal classification is considered as the task for the NextG Radio Access Network (RAN), where edge devices collect wireless signals for spectrum awareness and communicate with the NextG base station (gNodeB) that needs to identify the signal label. Task-oriented communications is considered by jointly training the transmitter, receiver and classifier functionalities as an encoder-decoder pair for the edge device and the gNodeB.
  arXiv  Detail & Related papers  (2022-12-19T17:54:36Z)
• Global Time Distribution via Satellite-Based Sources of Entangled Photons [0.0]
  We propose a satellite-based scheme to perform clock synchronization between ground stations spread across the globe using quantum resources. We consider a small constellation of nanosatellites equipped only with modest resources. We conclude that with such a scheme establishing a global network of ground based clocks synchronized to sub-nanosecond level (up to a few picoseconds) of precision, would be feasible.
  arXiv  Detail & Related papers  (2022-09-29T19:43:03Z)
• Time synchronization protocol for the KLJN secure key exchange scheme [0.0]
  The information theoretically secure Kirchhoff-law-Johnson-noise (KLJN) key exchange scheme is also potentially vulnerable against clock attacks. We propose and explore various ways of clock synchronization for the KLJN system and propose an ultimate protocol that preserves time and hardware integrity under arbitrary attacks.
  arXiv  Detail & Related papers  (2022-07-04T00:33:07Z)
• Continuous-Time Sequential Recommendation with Temporal Graph Collaborative Transformer [69.0621959845251]
  We propose a new framework Temporal Graph Sequential Recommender (TGSRec) upon our defined continuous-time bi-partite graph. TCT layer can simultaneously capture collaborative signals from both users and items, as well as considering temporal dynamics inside sequential patterns. Empirical results on five datasets show that TGSRec significantly outperforms other baselines.
  arXiv  Detail & Related papers  (2021-08-14T22:50:53Z)
• VAD-free Streaming Hybrid CTC/Attention ASR for Unsegmented Recording [46.69852287267763]
  We propose a block-synchronous beam search decoding to take advantage of efficient batched output-synchronous and low-latency input-synchronous searches. We also propose a VAD-free inference algorithm that leverages probabilities to determine a suitable timing to reset the model states. Experimental evaluations demonstrate that the block-synchronous decoding achieves comparable accuracy to the label-synchronous one.
  arXiv  Detail & Related papers  (2021-07-15T17:59:10Z)
• Qubit-based clock synchronization for QKD systems using a Bayesian approach [0.0]
  Qubit-based synchronization protocols directly use the transmitted quantum states to achieve synchronization. We present a model system with accompanying simulations of an efficient three-state BB84 prepare-and-measure protocol with decoy states. We find that we can achieve a 95 percent synchronization confidence in only 4,140 communication bin widths.
  arXiv  Detail & Related papers  (2021-07-02T23:44:25Z)
• Stability and Identification of Random Asynchronous Linear Time-Invariant Systems [81.02274958043883]
  We show the additional benefits of randomization and asynchrony on the stability of linear dynamical systems. For unknown randomized LTI systems, we propose a systematic identification method to recover the underlying dynamics.
  arXiv  Detail & Related papers  (2020-12-08T02:00:04Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.