Muhammad Salman Malik

According to our database1, Muhammad Salman Malik authored at least 3 papers in 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Security analysis of inter control center communication protocol using model checking
PhD thesis, 2013

Formal design of communication checkers for ICCP using UPPAAL.
Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Towards SDN enabled network control delegation in clouds.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013


  Loading...