2025-11-15T17:22:11.765523

Authentication Security of PRF GNSS Ranging

Anderson
This work derives the authentication security of pseudorandom function (PRF) GNSS ranging under multiple GNSS spoofing models, including the Security Code Estimation and Replay (SCER) spoofer. When GNSS ranging codes derive from a PRF utilizing a secret known only to the broadcaster, the spoofer cannot predict the ranging code before broadcast. Therefore, PRF ranging can be used to establish trust in the GNSS pseudoranges and the resulting receiver position, navigation, and timing (PNT) solution. I apply the methods herein to Galileo's Signal Authentication Service (SAS) utilizing the encrypted Galileo E6-C signal to compute that, at most, 400 ms of Galileo E6-C data to assert 128-bit authentication security under non-SCER models. For the SCER adversary, I predict the adversary's needed receiving radio equipment to break authentication security. One can use this work to design a PRF GNSS ranging protocol to meet useful authentication security requirements by computing the probability of missed detection.
academic

PRF GNSS রেঞ্জিং এর প্রমাণীকরণ নিরাপত্তা

মৌলিক তথ্য

  • পেপার আইডি: 2510.02196
  • শিরোনাম: Authentication Security of PRF GNSS Ranging
  • লেখক: জেসন অ্যান্ডারসন (জোনা স্পেস সিস্টেমস)
  • শ্রেণীবিভাগ: cs.CR (ক্রিপ্টোগ্রাফি এবং নিরাপত্তা), eess.SP (সংকেত প্রক্রিয়াকরণ)
  • প্রকাশনার সময়: ২০২৫ সালের অক্টোবর
  • জার্নাল: জার্নাল অফ লেটেক্স ক্লাস ফাইলস, খণ্ড ১৪, সংখ্যা ৮
  • পেপার লিংক: https://arxiv.org/abs/2510.02196

সারসংক্ষেপ

এই গবেষণা বিভিন্ন GNSS প্রতারণা মডেলের অধীনে সিউডোরান্ডম ফাংশন (PRF) GNSS রেঞ্জিং এর প্রমাণীকরণ নিরাপত্তা প্রতিষ্ঠা করে, যার মধ্যে নিরাপদ কোড অনুমান এবং পুনরাবৃত্তি (SCER) প্রতারক অন্তর্ভুক্ত। যখন GNSS রেঞ্জিং কোড শুধুমাত্র সম্প্রচারকারী দ্বারা পরিচিত কী দ্বারা উৎপন্ন PRF থেকে উদ্ভূত হয়, প্রতারকরা সম্প্রচারের আগে রেঞ্জিং কোড পূর্বাভাস দিতে পারে না। অতএব, PRF রেঞ্জিং GNSS সিউডোরেঞ্জ এবং এর দ্বারা উৎপন্ন গ্রাহক অবস্থান, নেভিগেশন এবং সময় (PNT) সমাধানের প্রতি বিশ্বাস প্রতিষ্ঠা করতে ব্যবহৃত হতে পারে। লেখক এই পদ্ধতিটি গ্যালিলিও সিগন্যাল প্রমাণীকরণ সেবা (SAS) এ প্রয়োগ করেন, এনক্রিপ্ট করা গ্যালিলিও E6-C সিগন্যাল ব্যবহার করে অ-SCER মডেলের অধীনে ১২৮-বিট প্রমাণীকরণ নিরাপত্তা নিশ্চিত করতে সর্বোচ্চ ৪০০ms গ্যালিলিও E6-C ডেটা প্রয়োজন বলে গণনা করেন।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যা সংজ্ঞা

এই গবেষণা যে মূল সমস্যা সমাধান করতে চায় তা হল GNSS সিগন্যালের প্রমাণীকরণ নিরাপত্তা। GNSS সিগন্যাল প্রতারণা সংঘাত অঞ্চল এবং নিকটবর্তী জনসাধারণের অবকাঠামোতে সাধারণ হয়ে উঠেছে, GNSS সিগন্যালের সত্যতা নিশ্চিত করা একটি মূল চ্যালেঞ্জ হয়ে উঠেছে।

সমস্যার গুরুত্ব

১. বাস্তব হুমকি: GNSS সিগন্যাল প্রতারণ একটি বাস্তব হুমকি হয়ে উঠেছে, যা নেভিগেশন সিস্টেমের নির্ভরযোগ্যতা প্রভাবিত করে २. নিরাপত্তা প্রয়োজনীয়তা: নাগরিক এবং সামরিক উভয় প্রয়োগেই বিশ্বস্ত অবস্থান, নেভিগেশন এবং সময় সেবা প্রয়োজন ३. প্রযুক্তিগত উন্নয়ন: গ্যালিলিও SAS, জোনা স্পেস সিস্টেমস ইত্যাদি এনক্রিপ্ট করা প্রমাণীকরণ সিগন্যাল স্থাপন করছে

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

१. ওয়াটারমার্ক পদ্ধতি: যদিও সংমিশ্রিত ওয়াটারমার্কের গাণিতিক মডেল বিদ্যমান, PRF রেঞ্জিং সমতুল্য নিরাপত্তা বিশ্লেষণের অভাব রয়েছে २. সিউডোরেঞ্জ পার্থক্য পদ্ধতি: প্রমাণীকৃত এবং অ-প্রমাণীকৃত সিউডোরেঞ্জ পার্থক্যের উপর ভিত্তি করে পদ্ধতিতে বিশেষত্ব সমস্যা রয়েছে ३. পরিসংখ্যানগত যুক্তির অপ্রতুলতা: বিদ্যমান কাজ একাধিক অপূর্বাভাসযোগ্য কোড চিপের মধ্যে সম্পর্ক এবং দ্বিপদ বিতরণের দ্রুত ক্ষয়শীল লেজ সম্পূর্ণভাবে ব্যবহার করে না

মূল অবদান

१. গাণিতিক নিরাপত্তা মডেল: PRF GNSS রেঞ্জিং এর জন্য সম্পূর্ণ সম্ভাব্যতা মিস ডিটেকশন (PMD) এবং মিথ্যা সতর্কতা (PFA) গাণিতিক মডেল প্রদান করে २. বহুবিধ প্রতিদ্বন্দ্বী মডেল: অ-SCER এবং SCER দুটি শ্রেণীর প্রতিদ্বন্দ্বী মডেলের অধীনে নিরাপত্তা বিশ্লেষণ করে ३. ব্যবহারিক প্রয়োগ: গ্যালিলিও E6-C সিগন্যালে তত্ত্ব প্রয়োগ করে, নির্দিষ্ট নিরাপত্তা পরামিতি সুপারিশ প্রদান করে ४. ডিভাইস পূর্বাভাস: SCER আক্রমণকারীর প্রয়োজনীয় গ্রহণকারী ডিভাইসের বৈশিষ্ট্য পূর্বাভাস দেয় ५. মন্টে কার্লো যাচাইকরণ: সিমুলেশন পরীক্ষার মাধ্যমে তাত্ত্বিক ডেরিভেশনের নির্ভুলতা যাচাই করে

পদ্ধতি বিবরণ

কাজের সংজ্ঞা

একটি সংকেত প্রক্রিয়াকরণ প্রোগ্রাম ডিজাইন করুন যা পারে:

  • ইনপুট: PRF রেঞ্জিং সিগন্যালের বেসব্যান্ড নমুনা
  • আউটপুট: প্রমাণীকরণ সিদ্ধান্ত (প্রকৃত/প্রতারণা)
  • সীমাবদ্ধতা: মান ক্রিপ্টোগ্রাফিক নিরাপত্তা স্তর পূরণ করুন (যেমন ১२८-বিট নিরাপত্তা)

সিস্টেম মডেল

সংকেত মডেল

GNSS প্রমাণীকরণ বেসব্যান্ড সিগন্যাল মডেল করা হয়:

S_auth = √P * R_PRF + N

যেখানে:

  • P: সংকেত শক্তি
  • R_PRF: PRF সিকোয়েন্স প্রতিলিপি, উপাদান {-1, 1}
  • N: শব্দ, N ~ N(0, σ²)

গ্রাহক প্রক্রিয়াকরণ স্থাপত্য

চিত্র ১ এ দেখানো হয়েছে, গ্রাহক অন্তর্ভুক্ত করে: १. মান ট্র্যাকিং লুপ: বাহক অপসারণ, প্রাথমিক-সময়মত-দেরী (EPL) সম্পর্ক २. PRF ম্যাচড ফিল্টার: পরিচিত R_PRF ব্যবহার করে সম্পর্ক ३. লাভ সমন্বয়: k_PRF = 1/(FT) * 1/√P ४. গড় ফিল্টারিং: W রেঞ্জিং কোডের উপর গড় ५. থ্রেশহোল্ড সিদ্ধান্ত: ০.५ ব্যবহার করে সিদ্ধান্ত থ্রেশহোল্ড হিসাবে

প্রতিদ্বন্দ্বী মডেল বিশ্লেষণ

অ-SCER প্রতিদ্বন্দ্বী

অ-SCER প্রতিদ্বন্দ্বী PRF কোড চিপ পর্যবেক্ষণ করতে পারে না, শুধুমাত্র এলোমেলো অনুমান করতে পারে:

S_¬SCER = √P * R_¬SCER + N

PMD ডেরিভেশন:

PMD|¬SCER = Σ_b ccdf_N_FTW(0.5 - g(b/W)) · Pr(b = B_¬SCER,W)

যেখানে B_¬SCER,W ~ B(nW, 0.5) দ্বিপদ বিতরণ।

SCER প্রতিদ্বন্দ্বী

SCER প্রতিদ্বন্দ্বী কোড চিপ পরিমাপ করতে পারে, কোড চিপ অনুমান সম্ভাবনা:

p = cdf_N(√P)

কঠোর সিদ্ধান্ত SCER (HDSCER) এর জন্য:

B_HDSCER,W ~ B(nW, p)

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. নির্ভুল PMD গণনা: দ্বিপদ বিতরণ এবং সাধারণ বিতরণের কনভোলিউশন ব্যবহার করে নির্ভুল নিরাপত্তা গণনা প্রদান করে २. রক্ষণশীল মডেল অনুমান: সর্বোত্তম ক্ষেত্রে অনুমান ব্যবহার করে (C/N₀ = 30 dB-Hz, Nyquist নমুনা) নিরাপত্তা নিম্নসীমা নিশ্চিত করে ३. CLT অনুমান অপ্টিমাইজেশন: কেন্দ্রীয় সীমা উপপাদ্য ব্যবহার করে পরামিতি অনুসন্ধান, তারপর নির্ভুল সূত্র দ্বারা যাচাইকরণ ४. নরম তথ্য বিশ্লেষণ: PSCER মডেল প্রবর্তন করে নরম তথ্যের সম্ভাব্য সুবিধা বিশ্লেষণ করে

পরীক্ষামূলক সেটআপ

গ্যালিলিও E6-C পরামিতি

  • কোড চিপ সংখ্যা: n = 5115 chips/ms
  • নমুনা ফ্রিকোয়েন্সি: F = 10.230 MHz (Nyquist ফ্রিকোয়েন্সি)
  • সময় দৈর্ঘ্য: T = 1 ms
  • রক্ষণশীল C/N₀: 30 dB-Hz

মূল্যায়ন সূচক

  • PMD (সম্ভাব্যতা মিস ডিটেকশন): প্রতারণা সিগন্যাল প্রকৃত হিসাবে ভুলভাবে বিচার করা হওয়ার সম্ভাবনা
  • PFA (সম্ভাব্যতা মিথ্যা সতর্কতা): প্রকৃত সিগন্যাল প্রতারণা হিসাবে ভুলভাবে বিচার করা হওয়ার সম্ভাবনা
  • নিরাপত্তা স্তর: 2^(-k) ফর্মে প্রকাশিত, যেমন ১२८-বিট নিরাপত্তা PMD < 2^(-128) প্রয়োজন

তুলনা পদ্ধতি

  • তাত্ত্বিক ডেরিভেশন বনাম মন্টে কার্লো সিমুলেশন
  • HDSCER বনাম PSCER কর্মক্ষমতা তুলনা
  • বিভিন্ন সমন্বয় সময় W এর নিরাপত্তা বিশ্লেষণ

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

অ-SCER নিরাপত্তা

চিত্র ২ এর ফলাফলের উপর ভিত্তি করে:

  • ३२-বিট নিরাপত্তা: W ≥ 77ms ডেটা সমন্বয় প্রয়োজন
  • १२८-বিট নিরাপত্তা: W ≥ 341ms ডেটা সমন্বয় প্রয়োজন
  • ব্যবহারিক সুপারিশ: ব্যবহারিক প্রয়োগ বিবেচনা করে, যথাক্রমে 100ms এবং 400ms ব্যবহার করার সুপারিশ করুন

SCER আক্রমণ পূর্বাভাস

চিত্র ४ এর বিশ্লেষণের উপর ভিত্তি করে:

  • গুরুত্বপূর্ণ থ্রেশহোল্ড: যখন প্রতিদ্বন্দ্বীর কোড চিপ SNR -३.४२dB এ পৌঁছায়, সিস্টেম নিরাপত্তা সম্পূর্ণভাবে ধ্বংস হয়
  • ডিভাইস প্রয়োজনীয়তা: কার্যকর আক্রমণ অর্জনের জন্য প্রায় १५dB লাভের দিকনির্দেশক অ্যান্টেনা প্রয়োজন
  • সনাক্তকরণ সম্ভাবনা: প্রয়োজনীয় ডিভাইসের আকার স্থল সনাক্তকরণ এবং ধ্বংস সম্ভব করে তোলে

যাচাইকরণ পরীক্ষা

মন্টে কার্লো যাচাইকরণ

  • অ-SCER যাচাইকরণ: १०००० পরীক্ষা সূত্র (२१) এর নির্ভুলতা যাচাই করে, তাত্ত্বিক পূর্বাভাস এবং সিমুলেশন ফলাফল ९९.७% আত্মবিশ্বাস ব্যবধানের মধ্যে সামঞ্জস্যপূর্ণ
  • HDSCER যাচাইকরণ: १०००० পরীক্ষা সূত্র (२३) যাচাই করে, একইভাবে উচ্চ সামঞ্জস্যপূর্ণ ফলাফল অর্জন করে

PSCER নরম তথ্য সুবিধা

  • PSCER HDSCER এর তুলনায় প্রায় ०.६dB কর্মক্ষমতা সুবিধা রয়েছে
  • সুবিধা সীমিত, HDSCER বিশ্লেষণে SNR ক্ষতিপূরণ সামঞ্জস্য করে অর্জন করা যায়

ব্যবহারিক প্রয়োগ নির্দেশনা

গ্যালিলিও SAS ডিজাইন

१. একাধিক প্রচেষ্টা পরিস্থিতি: যখন গ্রাহক সম্পর্ক শিখর অনুসন্ধান করতে প্রয়োজন, १२८-বিট নিরাপত্তা নিশ্চিত করতে ३४१ms সমন্বয় ব্যবহার করার সুপারিশ করুন २. সহায়ক সংকেত পরিস্থিতি: যখন E6-B এর মতো সমফেজ সংকেত সহায়তা থাকে, ३२-বিট নিরাপত্তা প্রদান করতে ७७ms সমন্বয় যথেষ্ট ३. ব্যবহারিক সুপারিশ: প্রকৌশল মার্জিন বিবেচনা করে, १००ms এবং ४००ms এর পূর্ণসংখ্যা মান ব্যবহার করার সুপারিশ করুন

সম্পর্কিত কাজ

GNSS প্রমাণীকরণ প্রযুক্তি উন্নয়ন

१. ওয়াটারমার্ক প্রযুক্তি: জোনা এর পালসার, GPS এর চিমেরা ওয়াটারমার্ক পদ্ধতি গ্রহণ করে २. PRF প্রযুক্তি: GPS M-কোড, গ্যালিলিও PRS ইত্যাদি এনক্রিপ্ট করা সংকেত ३. TESLA ফ্রেমওয়ার্ক: সময়-ভিত্তিক দক্ষ স্ট্রিম ত্রুটি সহনশীল প্রমাণীকরণ প্রোটোকল

তাত্ত্বিক বিশ্লেষণ অগ্রগতি

१. সংমিশ্রিত ওয়াটারমার্ক: সম্পূর্ণ PMD/PFA গাণিতিক মডেল ইতিমধ্যে বিদ্যমান २. PRF বিশ্লেষণ শূন্যতা: এই পত্র PRF রেঞ্জিং প্রমাণীকরণের তাত্ত্বিক শূন্যতা পূরণ করে ३. প্রতিদ্বন্দ্বী মডেল: SCER মডেলের সিস্টেমেটিক বিশ্লেষণ

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. নিরাপত্তা পরিমাণকরণ: প্রথমবারের জন্য PRF GNSS রেঞ্জিং এর জন্য নির্ভুল নিরাপত্তা গাণিতিক মডেল প্রদান করে २. ব্যবহারিক পরামিতি: গ্যালিলিও E6-C এর জন্য নির্দিষ্ট সমন্বয় সময় সুপারিশ প্রদান করে ३. প্রতিদ্বন্দ্বী বিশ্লেষণ: SCER আক্রমণের জন্য প্রয়োজনীয় ডিভাইসের বৈশিষ্ট্য পূর্বাভাস দেয়, সুরক্ষা নির্দেশনা প্রদান করে ४. ডিজাইন নির্দেশনা: গ্রাহকদের নিরাপত্তা নিশ্চিত করার সময় বিশেষত্ব উন্নত করতে থ্রেশহোল্ড শিথিল করতে সক্ষম করে

সীমাবদ্ধতা

१. SCER নরম তথ্য: নরম তথ্য ব্যবহার করে এমন SCER আক্রমণের জন্য সম্পূর্ণ গাণিতিক মডেলের অভাব २. রক্ষণশীল অনুমান: ३० dB-Hz এর C/N₀ অনুমান অত্যন্ত রক্ষণশীল, প্রকৃত কর্মক্ষমতা আরও ভাল হবে ३. পরিবেশগত কারণ: বহুপথ, হস্তক্ষেপ ইত্যাদি বাস্তব পরিবেশগত প্রভাব সম্পূর্ণভাবে বিবেচনা করা হয়নি ४. ঘড়ি নির্ভরতা: SCER সুরক্ষা GNSS স্বাধীন ঘড়ির প্রয়োজন, নির্ভুলতা প্রয়োজনীয়তা অত্যন্ত বেশি

ভবিষ্যত দিকনির্দেশনা

१. নরম তথ্য SCER: নরম তথ্য ব্যবহার করে এমন সম্পূর্ণ গাণিতিক মডেল উন্নয়ন २. বাস্তব যাচাইকরণ: প্রকৃত GNSS পরিবেশে তাত্ত্বিক পূর্বাভাস যাচাই করুন ३. বহু-সংকেত সংমিশ্রণ: একাধিক PRF সংকেত যৌথ প্রমাণীকরণের নিরাপত্তা গবেষণা করুন ४. অভিযোজিত থ্রেশহোল্ড: পরিবেশগত অবস্থার উপর ভিত্তি করে প্রমাণীকরণ থ্রেশহোল্ড গতিশীলভাবে সামঞ্জস্য করুন

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক সম্পূর্ণতা: PRF GNSS রেঞ্জিং প্রমাণীকরণের প্রথম সম্পূর্ণ গাণিতিক কাঠামো প্রদান করে २. ব্যবহারিক মূল্য: বর্তমানে স্থাপিত গ্যালিলিও SAS সিস্টেমে সরাসরি প্রয়োগ করা যায় ३. যাচাইকরণ পর্যাপ্ত: তাত্ত্বিক ডেরিভেশন এবং মন্টে কার্লো সিমুলেশন উচ্চ সামঞ্জস্যপূর্ণ ४. প্রতিদ্বন্দ্বী বিশ্লেষণ: বিভিন্ন প্রতিদ্বন্দ্বী মডেল সিস্টেমেটিকভাবে বিশ্লেষণ করে, আক্রমণ ডিভাইসের প্রয়োজনীয়তা পূর্বাভাস দেয় ५. প্রকৌশল নির্দেশনা: বাস্তব সিস্টেম ডিজাইনের জন্য নির্দিষ্ট পরামিতি সুপারিশ প্রদান করে

অপূর্ণতা

१. মডেল সরলীকরণ: SCER নরম তথ্য মডেল অত্যন্ত সরলীকৃত, প্রকৃত আক্রমণ আরও জটিল হতে পারে २. পরিবেশগত অনুমান: আদর্শ চ্যানেল মডেল বাস্তব প্রচার পরিবেশ সম্পূর্ণভাবে বিবেচনা করে না ३. ডিভাইস সনাক্তকরণ: SCER ডিভাইস সনাক্তকরণ এবং ধ্বংসের সম্ভাব্যতা বিশ্লেষণ যথেষ্ট গভীর নয় ४. গতিশীল পরিস্থিতি: মোবাইল গ্রাহক ইত্যাদি গতিশীল পরিস্থিতি বিবেচনা করা হয়নি

প্রভাব

१. একাডেমিক অবদান: PRF GNSS প্রমাণীকরণ নিরাপত্তা বিশ্লেষণের তাত্ত্বিক শূন্যতা পূরণ করে २. শিল্প প্রয়োগ: বর্তমানে স্থাপিত বাণিজ্যিক GNSS প্রমাণীকরণ সিস্টেম সরাসরি সমর্থন করে ३. মান নির্ধারণ: ভবিষ্যত GNSS প্রমাণীকরণ মান নির্ধারণকে প্রভাবিত করতে পারে ४. নিরাপত্তা মূল্যায়ন: GNSS সিস্টেম নিরাপত্তা মূল্যায়নের জন্য পরিমাণগত সরঞ্জাম প্রদান করে

প্রযোজ্য পরিস্থিতি

१. উচ্চ নিরাপত্তা প্রয়োজনীয়তা: সামরিক, গুরুত্বপূর্ণ অবকাঠামো ইত্যাদি উচ্চ নিরাপত্তা প্রয়োজনীয় পরিস্থিতি २. PRF সংকেত: সমস্ত PRF-ভিত্তিক GNSS প্রমাণীকরণ সিস্টেমে প্রযোজ্য ३. সিস্টেম ডিজাইন: GNSS প্রমাণীকরণ সিস্টেমের ডিজাইন এবং পরামিতি অপ্টিমাইজেশন ४. নিরাপত্তা মূল্যায়ন: বর্তমান এবং ভবিষ্যত GNSS সিস্টেমের নিরাপত্তা মূল্যায়ন

রেফারেন্স

পত্রটি ১८টি গুরুত্বপূর্ণ রেফারেন্স উদ্ধৃত করে, যা অন্তর্ভুক্ত করে:

  • GNSS প্রমাণীকরণ প্রযুক্তি উন্নয়ন ইতিহাস
  • TESLA প্রোটোকল এবং সম্পর্কিত ক্রিপ্টোগ্রাফি ভিত্তি
  • গ্যালিলিও SAS এবং সম্পর্কিত ইউরোপীয় প্রযুক্তি নথি
  • GNSS প্রতারণা সনাক্তকরণ এবং প্রতিরোধ প্রযুক্তি
  • লেখকের ওয়াটারমার্ক প্রমাণীকরণে পূর্ববর্তী কাজ

সামগ্রিক মূল্যায়ন: এটি একটি উচ্চমানের প্রযুক্তিগত পত্র যা তাত্ত্বিক কঠোরতা এবং ব্যবহারিক মূল্যের মধ্যে ভাল ভারসাম্য অর্জন করেছে। পত্রটি PRF GNSS রেঞ্জিং প্রমাণীকরণ নিরাপত্তা বিশ্লেষণের গুরুত্বপূর্ণ তাত্ত্বিক শূন্যতা পূরণ করে এবং বর্তমানে স্থাপিত বাস্তব সিস্টেমের জন্য মূল্যবান ডিজাইন নির্দেশনা প্রদান করে। যদিও কিছু জটিল আক্রমণ মডেলের বিশ্লেষণে উন্নতির জায়গা রয়েছে, তবে সামগ্রিক অবদান উল্লেখযোগ্য এবং GNSS নিরাপত্তা ক্ষেত্রের জন্য গুরুত্বপূর্ণ।