مت بلیز پژوهشگر امنیت و استاد دانشگاه جورج‌تاون است. در فهرست آثارش، موضوع‌هایی مانند رمزنگاری ارتباطات، سازوکارهای دسترسی به کلید و امنیت قفل‌های مکانیکی کنار هم دیده می‌شوند. این تنوع از یک پرسش مشترک می‌آید. وقتی چند طرف با اختیار متفاوت در یک سامانه حضور دارند، آیا طراحی واقعاً همان محدودیتی را برقرار می‌کند که وعده داده است؟ یک مشخصه فنی ممکن است عملیات هر جزء را توضیح دهد، اما رفتار کل سامانه به رابطه میان آن اجزا بستگی دارد.
استاندارد امانت‌گذاری کلید
در مقاله سال ۱۹۹۴ خود درباره شکست پروتکل در استاندارد رمزنگاری مبتنی بر امانت‌گذاری، بلیز سازوکاری را بررسی کرد که با طرح Clipper ارتباط داشت. بحث در اینجا فقط درباره طول کلید یا دشواری شکستن یک رمز نیست. طرح باید هم امکان ارتباط محرمانه را فراهم کند و هم اطلاعات لازم برای بازیابی مجاز را به شکل مورد انتظار در اختیار سازوکار امانت قرار دهد. اگر فرستنده بتواند میان این دو نقش ناسازگاری ایجاد کند، ادعای سامانه درباره امکان بازیابی تضعیف می‌شود.
برای خواندن این پژوهش باید میان شکستن الگوریتم رمز و یافتن نقص در نحوه استفاده از آن فرق گذاشت. رمز ممکن است داده را طبق طراحی تبدیل کند، ولی پروتکل باید اصالت، ارتباط و شرایط پذیرش اطلاعات جانبی را نیز برقرار کند. تحلیل بلیز نشان می‌دهد یک ادعای امنیتی را باید در سطحی آزمود که همان ادعا به آن تعلق دارد. آزمایش موفق خود الگوریتم برای سنجش تمام تعهدات پروتکل کافی نیست.
کلیدهای فیزیکی و مجوزهای مشترک
در کارهای بلیز درباره قفل‌های دارای کلید مادر، پرسش مشابهی در محیط فیزیکی مطرح می‌شود. یک ساختمان ممکن است به افراد مختلف دسترسی محدود بدهد و در عین حال یک کلید بتواند چند قفل را باز کند. این قابلیت عملیاتی، ساختار مشترکی میان مجوزها می‌سازد. امنیت هر قفل تنها به ظاهر کلید یا سختی ساخت قطعه وابسته نیست؛ باید دید داشتن یک دسترسی محدود چه اطلاعاتی درباره دسترسی‌های دیگر آشکار می‌کند.
فهرست مقالات او همچنین پژوهش درباره امنیت لایه شبکه و پروتکل‌های تبادل کلید را ثبت کرده است. برخی آثار گروهی‌اند و باید نام همکاران را در منبع هر مقاله دید. برای خواننده، ارزش این مجموعه در مقایسه روش تحلیل است. ابتدا طرف‌ها و اختیارشان مشخص می‌شوند، سپس ادعای امنیت نوشته می‌شود و در پایان رفتار واقعی سیستم با آن ادعا سنجیده می‌شود. همین ترتیب کمک می‌کند خطای پیاده‌سازی، ضعف رمز و نقص در طراحی پروتکل با یکدیگر اشتباه گرفته نشوند.
