| 000 | 00941nam a22001937a 4500 | ||
|---|---|---|---|
| 999 |
_c31106 _d31106 |
||
| 040 | _cRiphah International University | ||
| 082 |
_a005.8 _bUBA |
||
| 100 | _aUbaid Ullah (24025) | ||
| 245 | _aModeling and verification of authentication threats in mal sequence diagram through aspect - oriented paradigm | ||
| 260 |
_aIslamabad _b(unpublished) _c2020 |
||
| 300 |
_ax, 54 p. _b: ill. _c; 30 cm. _e+CD |
||
| 500 | _aSubmitted in fulfillment of the requirements for the degree of Master of Science in Software Engineering to the Faculty of Computing. | ||
| 500 | _aIncludes bibliographical references | ||
| 500 | _aThesis supervisor: Dr. Rizwan Bin Fiaz Thesis co-supervisor: Syed Hasnain Abbas Bukhari | ||
| 502 | _aThesis(MS)--Riphah International University, 2020 | ||
| 546 | _aEnglish | ||
| 650 |
_aSoftware engineering _aInformation security _vMal sequence diagram _vAuthentication threats _vWeaving models _vSemantics _vFC |
||
| 942 | _cTH | ||