توسعه سیستم‌عامل‌های امن با استفاده از زبان‌های برنامه‌نویسی مدرن