بنیاد منطق دیجیتال

Boolean Algebra، که توسط جورج بوول در اواسط قرن نوزدهم توسعه یافته است، چارچوب ریاضی را برای استدلال در مورد متغیرهای باینری که تنها دو ارزش را می گیرند، فراهم می کند: واقعی (1) و نادرست (0) این سیستم ساده و قدرتمند تقریباً هر دستگاه دیجیتال مدرن را شامل می شود، از میکروپرندگان به روترهای شبکه اجرا شده است.

در اصل، کانال های ارتباطی امن باید سه ویژگی اصلی را تضمین کنند: محرمانه بودن (تنها گیرنده مورد نظر می تواند پیام را بخواند)، یکپارچگی (پیام در حمل و نقل تغییر نکرده است)، و اصالت ( فرستنده است که آنها ادعا می کنند که هستند)) بوزون آلژبر (Bolean algebra ابزار برای ساخت سیستم هایی که این خواص را از طریق شرایط منطقی، باینری حساب، و ساختارهای الژیک مانند حلقه ها، و توابع ظریف در ساده سازی آن، ظهور می کند:

عملیات بنیادی و امنیت آنها

بلوک های ساختمان اولیه Boolean Algebra عملیات منطقی و OR، نه (inversion)، XOR (exclusive OR)، NAND و NOR هر عملیات می تواند توسط یک میز حقیقت و یک دروازه منطق متناظر در سخت افزار نمایندگی شود، در زمینه ارتباطات امن، عملیات XOR سزاوار توجه ویژه است زیرا آن است و هر دو خط مقدم است که واقعاً یک بار از اطلاعات کلیدی استفاده می شود و به طور تصادفی از آن استفاده می کند.

فراتر از دروازه های پایه، Boolean Algebra قوانین قدرتمندی را معرفی می کند - مانند قوانین De Morgan، قانون توزیع و قانون جذب - که اجازه می دهد طراحان به ساده سازی عبارات و کاهش تعداد دروازه های مورد نیاز در سخت افزار امنیتی، دروازه های کمتر به معنای مصرف برق، منطقه کمتر، و به طور انتقادی، کاهش نشت جانبی کانال.

جدول های حقیقت و مینیمال شدن

هر تابع بولان را می توان به عنوان یک مجموع از minterms (فرم طبیعی غیرمسلط) یا یک محصول از حداکثری (شکل طبیعی) بیان کرد، این اشکال canonical نقطه شروع طراحی منطق ترکیبی است که عملیات اصلی یک الگوریتم رمزنگاری را پیاده سازی می کند. مینی تکنیک های پیاده سازی - مانند نقشه های کارلو یا الگوریتم کوئینکلوس - به طور مستقیم با استفاده از عملکرد کانال های ارتباطی معادل آن، عملکرد و عملکرد آن.

الگوریتم های رمزنگاری شده در Boolean Algebra

تقریبا تمام رمزنگاری های مدرن به Boolean Algebra در پایین ترین سطح خود متکی هستند. Stream ciphers مانند ChaCha20 و رمزهای بلوک مانند AES (Advanced Encryption Standard) از XOR برای مخلوط کردن کلید و لایه های جایگزینی ساخته شده از توابع Boolean استفاده می کنند.به عنوان مثال، غیر از چند تکراری در Allog (دگانیکیشن) مشتق شده است که از این ویژگی های یکنواختی از معادلات Boolean می تواند به عنوان یک تغییر دهنده ی AES بیان شود.

XOR و One-Time Pad

پد یک بار تنها طرح رمزگذاری ایمن است و عملیات آن کاملاً Boolean است: بیت های متن ساده با یک کلید تصادفی از طول برابر برای تولید متن ال رمز و راز استفاده از یک عمل مشابه به دلیل در حالی که برای اکثر برنامه های واقعی به دلیل تلاش های کلیدی و طولانی برای استفاده از عملیات کامل سیستم عامل، غیر عملی است.

ویژگی های Hash و اثر Avalanche

توابع هش رمزنگاری (SHA-256، SHA-3) به عملیات بولان وابسته است – عمدتا XOR، و و تغییرات – برای تولید یک خروجی ثابت اندازه که به نظر تصادفی می رسد.یک تغییر کوچک در ورودی باید خروجی کاملا متفاوت (اثر avalanche) را تجزیه و تحلیل کند. توابع Boolean در الگوریتم هش برای به حداکثر رساندن این انتشار طراحی شده اند، اغلب با استفاده از ساختارهای مانند ساخت و ساز، هیچ ابزار همبستگی قابل تجزیه و تحلیل نیست.

Boolean Algebra در طراحی پروتکل امن

کانال های ارتباطی امن فقط در مورد رمزگذاری نیستند؛ آنها همچنین شامل احراز هویت متقابل، توافق کلید جلسه و تأیید یکپارچگی هستند. پروتکل هایی مانند TLS 1.3 و IPsec به منطق بولان برای تأیید امضاهای دیجیتال، بررسی اعتبار گواهی و محاسبه کدهای تأیید پیام متکی هستند.این عملیات اغلب در شتاب دهنده های سخت افزاری اختصاصی اجرا می شوند که از منطق ترکیبی برای انجام هزاران مقایسه دوم بولین استفاده می کنند.

اعتبار سنجی منطق و کنترل دسترسی

سیستم های احراز هویت چند عاملی، شرایط بوزون را ترکیب می کنند، برای مثال، اعطای دسترسی ممکن است نیاز به داشته باشد، چنین عبارات منطقی به طور مستقیم در لیست های کنترل دسترسی (ACL) و کنترل کننده های منطقی قابل برنامه ریزی (PLC) اجرا می شوند.

خطای تشخیص و اصلاح قوانین

Boolean Algebra پایه ای از کدهای شناسایی خطا و اصلاح خطا است که برای ارتباطات قابل اعتماد در کانال های پر سر و صدا حیاتی است. بررسی های Redundancy سیکلیک (CRC) از تقسیم بر GF (2) استفاده می کند تا بدون استفاده از کدهای پردازش شده، و تأیید کننده دقیق داده ها، کدهای همینگ، کدهای رید-Solomon، و پایین بودن تجزیه (LD) جلوگیری از این کدهای صوتی خاص، و یا بازیابی دقیق، جلوگیری از این فایل های پردازش دقیق.

پیاده سازی سخت افزاری و مقاومت در کنار Channel

طراحی سخت افزار ارتباطات امن اغلب شامل اجرای توابع Boolean در FPGAs ( آرایه های دروازه قابل برنامه ریزی) یا ASIC ها (برنامه مدار مجتمع مجتمع یکپارچه) است. تحقق فیزیکی دروازه های منطق بولان کانال های جانبی را معرفی می کند: مصرف برق، زمان و انتشار الکترومغناطیسی می تواند اطلاعات مربوط به داده های مخفی پردازش شده را افشا کند.

ماسکینگ و Boolean Sharing

ماسکینگ هر متغیر حساس را به سهام متعدد با استفاده از Boolean XOR تقسیم می کند، به عنوان متغیر به عنوان نمایندگی می شود، سهام فردی از نظر آماری مستقل از راز است، بنابراین هیچ اندازه گیری منفرد اطلاعات مفیدی را در این سهام نشان نمی دهد. Computing نیاز به بیان مجدد توابع Boolean در یک فرم مشترک است.این یک منطقه فعال از تحقیقات است که در آن طراحی درب مقاوم است که با هدف مهندسی و مقاومت در برابر است.

مزایا و محدودیت های Boolean Algebra در امنیت

مزیت اصلی استفاده از Boolean Algebra سادگی و پایه ریاضی به خوبی درک شده است. عبارات بولان را می توان به طور رسمی تأیید کرد، به طور خودکار سنتز شده و برای سرعت یا منطقه بهینه شده است، این باعث می شود آن را به سادگی ساخت سخت افزار به طور قابل توجهی درست برای کانال های امن.علاوه، طبیعت باینری از منطق Boolean به طور طبیعی بر دو حالت رفتار ترانزیستور، قادر به اجرای بسیار کارآمد است.

با این حال، Boolean Algebra محدودیت هایی را اعمال می کند. خطی بودن XOR، در حالی که مفید است، می تواند ضعف باشد اگر با اجزای غیر خطی ترکیب نشود. جریان دستورالعمل ها تنها بر اساس ثبت نام بازخورد خطی (LFSRs) در برابر حملات آلژبری آسیب پذیر است. مدرن الگوریتم های خط قرمز عملیات با جایگزینی های غیر خطی (S) را به تنهایی تضمین می کند.

نتیجه گیری

Boolean Algebra صرفا یک کنجکاوی دانشگاهی نیست؛ این موتور است که کانال های ارتباطی امن را که ما در هر روز به آن متکی هستیم، از دروازه فروتن XOR در یک جریان به جعبه پیچیده S-boxs of AES، از کدهای اصلاح خطا در لینک های ماهواره ای برای دسترسی به منطق در فایروال های سازمانی، اصول Boolean بر عملیات اساسی حکومت می کنند، زیرا که در حال تکامل زیرساخت های امنیتی واقعی هستند، نه تنها می توانند سیستم های امنیتی قوی برای سیستم های امنیتی جهانی را بسازند و نه تنها برای سیستم های امنیتی جهانی سیستم های امنیتی قوی و نه تنها می توانند برای سیستم های کامپیوتری و نه تنها برای کنترل سیستم های امنیتی ضروری سیستم های سیستم های سیستم های امنیتی را برای سیستم های امنیتی را برای کنترل کننده ای از طریق سیستم های امنیتی، بلکه برای سیستم های امنیتی قوی برای سیستم های امنیتی، بلکه برای دسترسی به طور موثر، بلکه برای دسترسی به طور موثر، بلکه از طریق سیستم های امنیتی، بلکه از سیستم های امنیتی واقعی، بلکه از طریق سیستم های امنیتی، بلکه برای دسترسی به طور کامل، بلکه از طریق سیستم های کامپیوتری و نه تنها برای دسترسی به طور موثر، بلکه برای کنترل کننده ای از سیستم های امنیتی قوی، بلکه از سیستم های امنیتی قوی، سیستم های امنیتی، سیستم های امنیتی قوی برای دسترسی به طور

در این باره می خوانیم: [[۱] [۱۰] [۱۰] [۱] [۱۰] [۱] [۱۰] [۱۰] [۳] [۱۰] [۳] [۳] [۳] [۳] [۱۰] [۱۰] [۱۰] [۱۰] [۱۰] [۱۰] [۱۰] [۱۰] [۱۰] [۱۰] [۲] [۱۰] [۲] [۱۰] [۱۰] [۳] [۳] [۳] [۳] [۲] [۳] [۳] [۳] [۲] [۳] [۳] [۲] [۳] [۱۰] [۲] [۳] [۳] [۲] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳] [۳]