Требуется придумать и решить примеры по Теории Типов в различных областях: нетипичный язык NBL, типичный язык NBL, нетипичные λ-исчисления и структуры данных. Задачи включают формулировку термов, проверку типизации, оценку термов и примеры рекурсивных функций. В приложенном файле содержится пример решения задач.

Необходимо разработать программу на языке C, содержащую ошибку переполнения журнала, которая будет позволять выполнять командную строку, указанную в качестве входных данных. Исполнитель может выбрать среду и настройки на свое усмотрение. Программа должна принимать входные данные в шестнадцатеричной форме для выполнения инструкций командной строки.

Разработайте программу на Java (acl.java), реализующую модель доступа Bell–LaPadula. Программа должна настраивать и удалять уровни безопасности для файлов и каталогов, отображать настройки безопасности и выполнять операции чтения и записи с учетом уровня безопасности. Необходимо также определять согласованность уровней безопасности и устанавливать уровень безопасности для пользователей.

Требуется разработка программы на Java, которая будет подписывать любые файлы с использованием асимметрического шифрования. Программа должна генерировать несколько ключей, подписывать документы и проверять корректность подписей. Использование готовых библиотек и алгоритмов шифрования запрещено.

Разработайте простой веб-сервер (server.java) и веб-браузер (client.java) на Java. Обеспечьте надежное шифрование соединения с использованием алгоритма Диффи-Хеллмана. Все компоненты должны быть написаны с нуля, без использования готовых библиотек или алгоритмов шифрования.