author-photo

Musab A. Alturki

King Fahd University of Petroleum and Minerals

4

Papers

7

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Resource and timing aspects of security protocols

2021 Journal of Computer Security
Show All
- Source
- Cite
- Save
Citations (2)
Enhanced Visualization of Method Invocations by Extending Reverse-engineered Sequence Diagrams

2020 SOFTVIS | Software Visualization
Show All
- Source
- Cite
- Save
Citations (1)
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

2019
Show All
- Source
- Cite
- Save
Citations (4)