Publications

Research is an important part of my learning process. I have worked in areas related to Software Engineering Education, Search in Social Networks and Formal Specification and Verification (mostly using Isabelle/HOL). Following is a list of my publications. I’ll post as much information about these publications as possible.

Books, Book Chapters and Journal Papers

1. Integrity Based Access Control: A Case Study in Remote Attestation.
   [Book - Co-authored]
   Publisher: VDM Verlag Dr. Mueller e.K. (Germany) on December 29, 2008.
   ISBN-10: 363910661X
   ISBN-13: 978-3639106619
   Available from Amazon
2. Nauman, M., Shahbaz Khan and Sanaullah Khan. Helplets: A Collaborative Help Collection and Retrieval Architecture for Web-Enabled Systems.
   [Book Chapter] in Web-based Support Systems. Springer, 2009.
3. Common Sense and Folksonomy: Engineering a Model for an Intelligent Search System.
   [Book]
   Publisher: VDM Verlag Dr. Mueller e.K. (Germany) on June 10, 2008.
   ISBN-10: 3639040872
   ISBN-13: 978-3639040876
   Available from Amazon
4. Nauman, M., Khan, S. and Amin, M. Addressing Polysemy and Synonymy in Collaborative Tagging Systems through Machine Common Sense. Journal of Computer and Information Sciences. Volume 1. Issue 2. February 2008. Peshawar, Pakistan.

Conference Papers

1. Imran Khan, Nauman, M., Masoom Alam and Furqan Aziz. SAuthMash: Mobile Agent based Self Authorization in Mashups.  Accepted at the International ACM Conference on Frontiers of Information Technology  (FIT’09). 2009. ACM. Abottabad, Pakistan.
2. Shahbaz Khan, Sanullah Khan, Nauman, M., Tamleek Ali and Masoom Alam. Realizing Dynamic Behavior Attestation for Mobile.  Accepted at the International ACM Conference on Frontiers of Information Technology  (FIT’09). 2009. ACM. Abottabad, Pakistan.
3. Ronald Toegl, Thomas Winkler, Nauman, M. and Theordore Hong. Towards Platform Independent Trusted Computing. Accepted at the Fourth Annual Workshop on Scalable Trusted Computing (STC’09) at the 16th International ACM Conference on Computers and Communication Security (CCS’09). 2009. ACM. Chicago, Illinois, USA.
4. Tamleek Ali and Nauman, M. Incorporating Remote Attestation for End-to-End Protection in Web Communications Paradigm. International Conference on Internet Technologies and Applications (ITA’09). September 2009. Wrexham, UK.
5. Masoom Alam, Nauman, M., Xinwen Zhang, Tamleek Ali and Patrick Hung. Behavioral Attestation for Business Processes (BA4BP). 7th IEEE International Conference on Web Services (ICWS’09). IEEE. July, 2009. Los Angeles, USA.
6. Nauman, M., Masoom Alam, Xinwen Zhang and Tamleek Ali. Remote Attestation of Information Flows and Attribute Updates in a UCON System. 2nd International Conference on Techncial and Socio-Economic Aspects of Trusted Computing (Trust2009). Springer. April, 2009. Oxford, UK.
   [Paper] [PPTX] Talk Sponsored by the ICT R&D Fund, Pakistan.
7. Nauman M. and Tamleek Ali. HUE: A Hardware UCON Engine for Fine-grained, Continuous Usage Control. 12th International IEEE Multitopic Conference (INMIC 2008). December, 2008. Karachi, Pakistan.
   [Paper]
8. Masoom Alam, Xinwen Zhang, Nauman, M., and Tamleek Ali. Behavioral Attestation for Web Services (BA4WS). In Proceedings of International Workshop on Secure Web Services (SWS’08.) at the 15th International ACM Conference on Computers and Communication Security (CCS’08). 2008. ACM. Fairfax, Virginia, USA.
9. Nauman, M., Khan, S., Amin, M. and Hussain, F. Resolving Lexical Ambiguities in Folksonomy Based Search Systems through Common Sense and Personalization. in Proceedings of the Semantic Search 2008 Workshop. (SemSearch 2008): located at the 5th European Semantic Web Conference (ESWC2008), Tenerife, Spain.
10. Masoom Alam, Zhang, X., Nauman, M., Ali, T., and Seifert, J. 2008. Model-based Behavioral Attestation. In Proceedings of the 13th ACM Symposium on Access Control Models and Technologies. SACMAT ‘08. ACM, New York, NY, 175-184. Estes Park, CO, USA.
    http://doi.acm.org/10.1145/1377836.1377864
11. Khan S., Amin, M and Nauman, M. A Comprehensive Analysis of MAC Enhancements for Leveraging Distributed MAC. In Proceedings of the International MultiConference of Engineers and Computer Scientists (IMECS 08), Hong Kong.
12. Ali, T. Nauman, M. and Alam M. An Accessible Formal Specification of UML and OCL Meta-Model in Isabelle/HOL. In Proceedings of the International Multitopic Conference 2007 (INMIC’07). Lahore, Pakistan.
    [Isabelle Theory File]
13. Nauman, M. and Khan, S. 2007. Using PersonalizedWeb Search for Enhancing Common Sense and Folksonomy Based Intelligent Search Systems. In Proceedings of the IEEE/WIC/ACM international Conference on Web intelligence (November 02 – 05, 2007). Web Intelligence. IEEE Computer Society, Washington, DC, 423-426. Silicon Valley, USA.
    Sponsored by the Higher Education Commission of Pakistan.
    [IEEE DOI]
14. Nauman, M. and Hussain, F. “Common Sense and Folksonomy: Engineering an Intelligent Search System,” in Proceedings of ICIET’07: International Conference on Information and Emerging Technologies. ICET. IEEE. Karachi, Pakistan. 2007.
    [PPT | IEEE Link]
15. Nauman, M. and Uzair, M. 2007. SE and CS Collaboration: Training Students for Engineering Large, Complex Systems. In Proceedings of the 20th Conference on Software Engineering Education & Training (July 03 – 05, 2007). CSEET. IEEE Computer Society. Dublin, Ireland.
    Talk sponsored by the CSEE&T and Dublin City University, Ireland.
    [PPT | IEEE DOI]

Reviewer

I have reviewed one or more papers for SACMAT09 and TrustCol09. I have also reviewed a book chapter for Security in Computing and Networking Systems: The State-of-the-Art.