TY - JOUR
T1 - A Novel Protocol for Security of Location Based Services in Multi-agent Systems
AU - Al-Hamadi, Hussam
AU - Yeun, Chan Yeob
AU - Zemerly, Mohamed Jamal
AU - Al-Qutayri, Mahmoud
AU - Gawanmeh, Amjad
AU - Al-Hammadi, Yousof
AU - Damiani, Ernesto
N1 - Publisher Copyright:
© 2019, Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2019/10/1
Y1 - 2019/10/1
N2 - Multi-agent systems are automated form of software technology to enhance many applications in our life. However, this technology does not come along with embedded security features which hindering its widespread usage in commercial systems such as those that depend on location-based services. This paper aims to design, develop, test and evaluate an efficient security protocol for the multi-agent system to support the secrecy of user location. At first, we have developed a new architectural approach, inspired by the well-known Kerberos protocol, that can provide a secure service for the end users. It offers the most important security requirements in this field, namely; mutual authentication, confidentiality, integrity, and authorization. The proposed security protocol so-called Multi-Agent Security using Enhanced Kerberos has been verified and validated using a formal verification tool called ProVerif. Also, we provide a comparison with the original Kerberos protocol in terms of efficiency, which tilts the balance to our protocol.
AB - Multi-agent systems are automated form of software technology to enhance many applications in our life. However, this technology does not come along with embedded security features which hindering its widespread usage in commercial systems such as those that depend on location-based services. This paper aims to design, develop, test and evaluate an efficient security protocol for the multi-agent system to support the secrecy of user location. At first, we have developed a new architectural approach, inspired by the well-known Kerberos protocol, that can provide a secure service for the end users. It offers the most important security requirements in this field, namely; mutual authentication, confidentiality, integrity, and authorization. The proposed security protocol so-called Multi-Agent Security using Enhanced Kerberos has been verified and validated using a formal verification tool called ProVerif. Also, we provide a comparison with the original Kerberos protocol in terms of efficiency, which tilts the balance to our protocol.
KW - Communication system security
KW - Formal verification
KW - Multi-agent system
UR - https://www.scopus.com/pages/publications/85065643089
U2 - 10.1007/s11277-019-06499-4
DO - 10.1007/s11277-019-06499-4
M3 - Article
AN - SCOPUS:85065643089
SN - 0929-6212
VL - 108
SP - 1841
EP - 1868
JO - Wireless Personal Communications
JF - Wireless Personal Communications
IS - 3
ER -