International Symposium on Collaborative Technologies and Systems (2005)
St Louis, MO, USA
May 20, 2005 to May 20, 2005
M. Panti , DIIGA, Polytech. Univ. of Marche, Ancona, Italy
L. Spalazzi , DIIGA, Polytech. Univ. of Marche, Ancona, Italy
S. Tacconi , DIIGA, Polytech. Univ. of Marche, Ancona, Italy
R. Pagliarecci , DIIGA, Polytech. Univ. of Marche, Ancona, Italy
Many security protocols have been shown to have serious design flaws, even a long time after their publication. For this reason, several automatic verification methods have been proposed. As far as we know, all these methods deal with the verification of mono-protocol systems. On the contrary, modern computer systems employ different security protocols in the same environment. In this paper, we present a methodology to automatically verify the security of multiprotocol systems based on model checking. We also describe its application to a multi-protocol system composed by SET (by VISA&Mastercard) and 2KP (by IBM).
2KP protocol, model checking, multiprotocol system security, security protocols, automatic verification method, mono-protocol system verification, SET protocol
S. Tacconi, L. Spalazzi, M. Panti and R. Pagliarecci, "Model checking the security of multi-protocol systems," 2005 International Symposium on Collaborative Technologies and Systems(ISCST), St Louis, MO, 2005, pp. 92-99.