Л.Н. Гумилева, г. Астана, Казахстан) astana555@list.ru ФОРМАЛЬНАЯ МОДЕЛЬ ОРГАНИЗАЦИИ ФАЙЛОВОЙ СИСТЕМЫ МИКРОПРОЦЕССОРНЫХ КАРТ В многопользовательских системах микропроцессорных карт актуальна защита файлов одного пользователя от несанкционированного доступа другого пользователя, а также обеспечение совместной работы с файлами. <...> Введение Файловая система (ФС) микропроцессорных карт – часть операционной системы, назначение которой состоит в обеспечении удобного интерфейса для пользователя при работе с данными, хранящимися на диске, а также совместного использования файлов несколькими пользователями и процессами. <...> Конкретная ФС определяет размер имени файла (папки), максимальный возможный размер файла и раздела, набор атрибутов файла. <...> Некоторые ФС предоставляют сервисные возможности, например разграничение доступа или шифрование файлов. <...> ФС связывает носитель информации и API (Application Programming Interface) для доступа к файлам. <...> Когда прикладная программа обращается к файлу, она не имеет никакого представления о том, каким образом расположена информация в конкретном файле и на каком носителе (CD, жестком диске, магнитной ленте, блоке флеш-памяти или другом) он записан. <...> Все, что знает программа – это имя файла, его размер и атрибуты. <...> Эти данные она получает от драйвера ФС, которая и устанавливает, где и как будет записан файл на физическом носителе (например, жестком диске). <...> Постановка задачи Основные функции любой файловой системы: – именование файлов; – программный интерфейс работы с файлами для 52 приложений; – отображения логической модели ФС на физическую организацию хранилища данных; – организация устойчивости ФС к сбоям питания, ошибкам аппаратных и программных средств; – содержание параметров файла, необходимых для правильного его взаимодействия с другими объектами системы (ядро, приложения и др.) <...> . В многопользовательских системах появляется задача защиты файлов одного пользователя от несанкционированного <...>