Protocol of Secure Mutual Authentication

The paper discusses the peculiarities of modern information systems, problems with traditional authentication protocols and introduces a new authentication protocol that allows transparent secure authentication in dynamic distributed information systems. Approaches to reasoning about authentication protocols are described and the proposed protocol is analyzed according to them.