Rasool Ramezanian - Department of Mathematical Science Sharif University of Technology Department of Mathematical Science Sharif University of Technology

Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, authentication fails because of executing several parallel sessions of a protocol, and that an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authentication for parallel multiple sessions execution.

Authentication, Parallel session, Security, Transition Systems