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
-
Formal verification of security protocols
by: Mok, Xin Mun
Published: (2022) -
A formal specification and verification framework for timed security protocols
by: Li, Li, et al.
Published: (2020) -
Formal modelling and verification on Android platform
by: Lim, Jolene Yu Han
Published: (2014) -
Security verification of network protocols
by: Chong, Yew Heng
Published: (2021) -
Securing smart contracts with formal verification and automated program repair
by: Tolmach, Palina
Published: (2023)