Formal Verification of the xDAuth Protocol

• Main Authors: Alam, Q., Tabbasum, S., Malik, S.U.R., Alam, M., Ali, T., Akhunzada, A., Khan, S.U., Vasilakos, A.V., Buyya, R.
• Format: Article
• Published: Institute of Electrical and Electronics Engineers (IEEE) 2016
• Subjects: QA75 Electronic computers. Computer science
• Online Access: http://eprints.um.edu.my/18188/; https://doi.org/10.1109/TIFS.2016.2561909
• Institution: Universiti Malaya

Service-oriented architecture offers a flexible paradigm for information flow among collaborating organizations. As information moves out of an organization boundary, various security concerns may arise, such as confidentiality, integrity, and authenticity that needs to be addressed. Moreover, verif...