Formal Verification of the xDAuth Protocol
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...
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: |
Similar Items
-
Survey on network virtualization using openflow: Taxonomy, opportunities, and open issues
by: Abdelaziz, A., et al.
Published: (2016) -
Some properties for integro-differential operator defined by a fractional formal
by: Abdulnaby, Z.E., et al.
Published: (2016) -
UML models consistency management: Guidelines for software quality manager
by: Bashir, R.S., et al.
Published: (2016) -
Heterogeneity in mobile cloud computing: taxonomy and open challenges
by: Sanaei, Zohreh, et al.
Published: (2013) -
Measuring Learnability through Virtual Reality Laboratory Application: A User Study
by: Ghazala Rasheed, et al.
Published: (2021)