Formal Modeling Analysis and Verification of Shibboleth, Oauth and Xdauth Protocol Using Z3-Solver

Search or add a thesis

Advanced Search (Beta)

Thesis Info

Author

Sammman Zahra

Supervisor

Masoom Zahra

Department

Department of Computer Science

Program

RIS

Institute

COMSATS University Islamabad

Institute Type

Public

City

Islamabad

Province

Islamabad

Country

Pakistan

Thesis Completing Year

2016

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Added

2021-02-17 19:49:13

Modified

2023-01-06 19:20:37

ARI ID

1676719912877

Similar

Chapters

Title	Author	Supervisor	Degree	Institute
Title	Author	Supervisor	Degree	Institute

Similar Thesis

Title	Author	Supervisor	Degree	Institute
Title	Author	Supervisor	Degree	Institute

Similar News

Headline	Date	News Paper	Country
Headline	Date	News Paper	Country

Article Title	Authors	Journal	Vol Info	Language
Article Title	Authors	Journal	Vol Info	Language

Heading	Article Title	Authors	Journal	Vol Info
Heading	Article Title	Authors	Journal	Vol Info