Analyses peculiarities of mobile operating systems' realization from the point of view of their security. It determines possible threats, means of intrusion, distribution and execution of malicious code. It also proposes the methods of formal analysis of protection subsystem behavior and assessment of its reaction on malicious code threats taking into account the peculiarities of simplified security mechanisms in PDAs.Анализируются особенности реализации мобильных операционных систем с точки зрения их безопасности. Определяются возможные угрозы, способы внедрения, распространения и исполнения вредоносного кода. Рассматриваются методы формального анализа поведения подсистемы защиты во времени и оценки ее реакции на угрозы вредоносного кода с учетом особенностей упрощенной реализации механизмов защиты в карманных персональных компьютерах
