Browsing byAuthorAlam, Q
Showing results 2 to 2 of 2< previous
Issue Date | Title | Author(s) |
---|---|---|
2016-09-01 | Formal Verification of the xDAuth Protocol | Alam, Q; Tabbasum, S; Malik, SUR; Alam, M; Ali, T; Akhunzada, A; Khan, SU; Vasilakos, AV; Buyya, R |