خفیہ کاری چھپاتی ہے کہ آپ نے کیا کہا۔ یہ چھپاتا ہے کہ آپ بولے۔
خفیہ کاری پیغام کے مندرجات کو نجی رکھتی ہے۔ یہ نہیں چھپاتی کہ پیغام ہوا بھی تھا۔ نیٹ ورک دیکھنے والے کو پھر بھی نظر آتا ہے کہ کون کس سے بات کر رہا ہے، کب، اور کتنے کلوبائٹ (KB) منتقل ہوئے — اور حساس ماحول میں یہ الفاظ جتنا ہی اہم ہو سکتا ہے۔ AEGIS ایک بند گروہ کے ارکان کے درمیان ٹریفک کو مستقل شرح سے بہاتا رہتا ہے، چاہے بھیجنے کو کچھ ہو یا نہ ہو، تاکہ وقت اور مقدار کوئی اشارہ نہ دیں۔
“جب تک حملے کا مظاہرہ تصدیق نہ کر دے، کچھ مکمل نہیں۔”
ٹریفک تجزیے کے بارے میں اندازہ ترقی کے دوران بار بار غلط نکلا۔ صرف مظاہراتی ڈھانچہ قابلِ بھروسہ ثابت ہوا، اس لیے وہی پھاٹک بن گیا۔
sim/ میں بنا Python ڈھانچہ ہی تفصیل نامے کے ہر عددی دعوے کے پیچھے شہادت کا کھاتہ ہے — کوئی بعد کی سوچ نہیں جو پہلے سے بھیجے ہوئے ڈیزائن کی توثیق کرے۔
یہ کیا ہے، ایک منٹ میں
جو شخص نیٹ ورک دیکھ سکتا ہے، اسے خفیہ کاری توڑنے کی ضرورت نہیں۔ اسے نظر آتا ہے کہ ایک سرے نے 09:41:03 پر 14 KB بھیجے اور دوسرے نے تین سیکنڈ بعد 14 KB وصول کیے، اور یہی بات گیارہ ہفتے تک دن میں دو بار ہوتی ہے۔ کافی بار دہرائی جائے تو یہ اس بات کا نقشہ ہے کہ کون کس کے ساتھ کام کرتا ہے، جو ایک بھی پیغام پڑھے بغیر بنایا گیا ہے۔
AEGIS تار کو ہر وقت ایک جیسا دکھاتا ہے۔ ٹریفک مستقل شرح سے نکلتی ہے، چاہے بھیجنے کو کچھ ہو یا نہ ہو، اور جو آتا ہے اسے ایک مقررہ حجم تک بھر دیا جاتا ہے، اس لیے ایک سرے پر کوئی ایسا اُبال نہیں ہوتا جسے دوسرے سرے کے اُبال سے ملایا جا سکے۔ اس کی قیمت بینڈوتھ ہے اور یہ تاخیر بڑھاتا ہے؛ نیچے کا مظاہرہ تحفظ اور قیمت دونوں ساتھ ساتھ دکھاتا ہے۔
خبر رساں ادارے اور ہر وہ شخص جو کسی ذریعے کی حفاظت کرتا ہے، جہاں رابطے کا وقت اور حجم ہی کسی کو بے نقاب کرتے ہیں۔ وہ بینک، بیمہ کمپنیاں اور صنعتی ادارے جو ایک دوسرے کے حریف ہیں اور پھر بھی انہیں ڈیٹا کا تبادلہ کرنا پڑتا ہے۔ اور وہ ادارے جو حملوں کے بارے میں انتباہ بانٹتے ہیں، جہاں بانٹتے ہوئے دکھائی دینا ہی حساس بات ہو سکتی ہے۔
میٹا ڈیٹا ہی وہ حصہ ہے جو آپ کی شناخت کرتا ہے
ایک عالمی غیر فعال حریف آپ کے پیغام نہیں پڑھ سکتا۔ اسے ضرورت بھی نہیں۔ وہ ایک ساتھ ہر کڑی دیکھتا ہے اور جوڑ ملاتا ہے: اس سرے نے 09:41:03 پر 14 KB بھیجے، اس سرے نے 09:41:06 پر 14 KB وصول کیے، اور یہ نمونہ گیارہ ہفتوں تک دن میں دو بار دہراتا ہے۔
حجم اور وقت اتنے کافی ہیں کہ کسی ایک سائفر کو توڑے بغیر پورے ادارے کے تعلقات کا گراف دوبارہ بنایا جا سکے۔ کسی کنسورشیم کے لیے — بینک آپس میں حساب چکاتے ہوئے، اسپتال ریکارڈ بانٹتے ہوئے، نیوز روم اپنے ذرائع کے ساتھ — وہ گراف ہی حساس معلومات ہے۔
AEGIS تار کو ایک ہموار، نہ بدلنے والی دیوار بنا دیتا ہے۔ نیچے جو کچھ بھی ہو رہا ہو، شرح مستقل رہتی ہے، اس لیے حجم اور وقت میں کوئی اشارہ باقی نہیں رہتا۔ نیچے کا مظاہرہ آپ کو دونوں ترتیبوں کے خلاف حملہ چلا کر فرق دیکھنے دیتا ہے۔
شکل دیا ہوا مکس نیٹ
چھوٹا اور جھٹکوں والا ڈیٹا، ساتھ سارا کنٹرول ٹریفک۔ Sphinx پیکٹ مستقل شرح پر نکلتے ہیں، اور وصول کنندہ کی طرف سخت حد والی بھرائی ہوتی ہے تاکہ وصول کنندہ کا آنے والا حجم بھی مقرر رہے۔
بلک تہہ
بڑی فائل کی منتقلی، ایک قابلِ تنظیم حفاظتی درجے کے ساتھ — خام، بالٹیوں میں، یا یکساں جتھوں میں۔ آپ خود طے کرتے ہیں کہ لاگت کے خم پر کہاں بیٹھنا ہے؛ قیمت کے بارے میں کچھ چھپایا نہیں جاتا۔
عالمی غیر فعال حریف بنیں
پانچ بھیجنے والے ہیں، ہر ایک پانچ وصول کنندگان میں سے ٹھیک ایک سے بات کر رہا ہے۔ آپ کو صرف ہر کڑی پر ٹریفک کا حجم نظر آتا ہے — نہ مواد، نہ راستہ۔ سلسلوں کا جوڑ ملائیں اور جوڑے پہچاننے کی کوشش کریں۔ پھر مستقل شرح والا دفاع چالو کر کے دوبارہ کوشش کریں۔
ٹریفک تجزیے کا ڈھانچہ
حریف کا نتیجہ
دفاع کی قیمت
اتفاق 20% ہے — پانچ میں سے ایک جوڑا محض اندازے سے۔ اس سے واضح طور پر اوپر جو کچھ ہے، وہ حریف کی جیت ہے۔ لاگت کے اعداد ایمان دار دوسرا رخ ہیں: مستقل شرح والی شکل سازی مفت نہیں، اور AEGIS ایسا ظاہر بھی نہیں کرتا۔
آٹھ مرحلے، ہر ایک ریڈ ٹیم کے پھاٹک کے پیچھے
عمل درآمد مرحلہ 8، یعنی سختی تک مکمل ہے۔ یہ وہ اعداد ہیں جو ریپازٹری بتاتی ہے: فَزنگ WSL کے تحت چلی، اور ٹیسٹ نیٹ اصل TCP ساکٹوں پر چلا۔
| شعبہ | نتیجہ | نوٹ |
|---|---|---|
| خفیہ کاری کے ویکٹر | 36 / 36 | |
| ریلے راستہ سازی | 14 / 14 | |
| ٹوپولوجی | 41 / 41 | |
| مذاکرہ کار / بلک باہمی تعلق | 25 / 25 | |
| ورک اسپیس ٹیسٹ | 195 | سب کامیاب |
| حفاظتی فزنگ | 1.17M+ | WSL کے ذریعے libFuzzer، صفر کریش |
| ٹیسٹ نیٹ | اصل TCP | اصل ساکٹ پر Sphinx پیکٹ کی راستہ سازی |
| ٹریس کا تجزیہ | بے ضرر بمقابلہ بدنیت | اصل ٹریس کا موازنہ |
چھپاتا ہے کہ بات کون کر رہا ہے، صرف یہ نہیں کہ کیا کہا گیا
پیغام کو گڈمڈ کرنا حل شدہ مسئلہ ہے۔ جو یہ نہیں چھپاتا وہ یہ ہے کہ آپ نے پیغام بھیجا، کس کو، کب، اور کتنا۔ اکثر یہی نمونہ لوگوں کی شناخت کے لیے کافی ہوتا ہے۔
نیوز روم اور ہر وہ شخص جو کسی ذریعے کی حفاظت کر رہا ہے
پیغام پڑھنے کی کسی کو ضرورت نہیں اگر یہی نظر آ جائے کہ فلاں شخص نے رات دو بجے فلاں صحافی سے رابطہ کیا۔ وقت اور حجم ہی لوگوں کو بے نقاب کرتے ہیں۔
حریف کمپنیاں جنہیں پھر بھی ڈیٹا بانٹنا پڑتا ہے
بینک، بیمہ کمپنیاں اور صنعتی تنظیمیں مقابلہ کرتے ہوئے بھی معلومات کا تبادلہ کرتی ہیں۔ آپ اچانک کس سے بات کرنے لگے ہیں اور کتنی بار، یہی بتا دیتا ہے کہ آپ کس کام پر ہیں۔
وہ ادارے جو حملوں کے بارے میں انتباہ ایک دوسرے کو دیتے ہیں
خطرے کی معلومات بانٹنا مفید ہے، مگر بانٹتے ہوئے دیکھا جانا بذاتِ خود حساس بات ہو سکتی ہے۔ یہ صرف گفتگو کا مواد نہیں، خود گفتگو کے ہونے کو بھی نجی رکھتا ہے۔
شکل سازی کے اوپر کیا بیٹھا ہے
- آگے کی رازداری والے ہینڈ شیک۔ طویل مدتی کنجیوں کا افشا ہو جانا پرانی نشستوں کو پیچھے سے بے نقاب نہیں کرتا۔
- ساکھ دیکھ کر راستے کا انتخاب۔ راستے ان ریلے کو ترجیح دیتے ہیں جن کا برتاؤ جانا پہچانا ہو۔
- تقسیم شدہ بے ترتیبی کے بیکن۔ راستہ چننے کی بے ترتیبی پر کسی ایک فریق کا قابو نہیں۔
- صفر علم والی ساکھ کے ثبوت۔ کوئی ریلے یہ ثابت کر دیتا ہے کہ وہ ساکھ کی حد سے اوپر ہے، اپنا نمبر بتائے بغیر۔
- گارڈ نوڈ کی جانچ۔ Sybil مزاحمت، ٹھیک وہاں جہاں اس کی سب سے زیادہ ضرورت ہے۔
ضمانتیں کہاں ختم ہوتی ہیں
- صرف اندرونی ٹریفک۔ مضبوط ضمانتیں کنسورشیم کے اندر لاگو ہوتی ہیں۔ کھلے نیٹ پر خروج کمزور ہے اور اس کے برعکس دعویٰ نہیں کیا جاتا۔
- تجرباتی، ثابت شدہ نہیں۔ نتائج بیان کردہ حریف ماڈل کے تحت تجرباتی حدیں ہیں۔ یہ ریاضیاتی ثبوت نہیں۔
- تاخیر ساخت ہی میں ہے۔ کئی سیکنڈ کی تاخیر ڈیزائن کی خاصیت ہے، کوئی ترتیب کا مسئلہ نہیں جسے بہتر کر کے ختم کر دیا جائے گا۔
- دو فریقوں کے لیے غلط اوزار۔ AEGIS کئی سروں پر تعلقات کا گراف چھپانے کے لیے موزوں ہے۔ دو فریقوں کی ایک کڑی کے لیے کڑی کی سطح کے دفاع بہتر کام کرتے ہیں۔
- کھلی تحقیق باقی ہے۔
docs/ops/RESEARCH_AGENDA.mdہی وہ ایمان دار فہرست ہے کہ کیا کچھ مکمل نہیں ہوا۔
cargo deny سے انحصار کی جانچ، اور پورے ورک اسپیس پر ایک پالیسی جو unsafe کوڈ سے منع کرتی ہے۔ ایک ایسے Rust نیٹ ورک اسٹیک کے لیے جو حریفانہ داخلہ سنبھالتا ہے، #![forbid(unsafe_code)] پورے ورک اسپیس پر منصوبے کی سب سے زیادہ بوجھ اٹھانے والی اکلوتی سطر ہے۔