Publications

Research Group Security Engineering has several publications in international journals and conferences. The areas include high and low level security topics, model driven engineering, access control policies, formal methods and education. Following is a listing of the publications by different group members.

Masoom Alam, Xinwen Zhang, Nauman, M., and Tamleek Ali. 2008. 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). Fairfax, VA, USA, October, 2008. ACM.

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 (Estes Park, CO, USA, June 11 - 13, 2008). SACMAT ‘08. ACM, New York, NY, 175-184. DOI= http://doi.acm.org/10.1145/1377836.1377864 [ACM Digital Library Link]

Xinwen Zhang, Masoom Alam, and Jean-Pierre Seifert, and Qi LI, Usage Control Platformization via Trustworthy SELinux, in ACM Symposium on Information, Computer, and Communication Security, 2008.

Shahbaz Khan, Amin M., Nauman M. and Tamleek Ali. A Comprehensive Analysis of MAC Enhancements for Leveraging Distributed MAC. IAENG. March, 2008. International MultiConference of Engineers and Computer Scientists (IMECS 08), Hong Kong.

Amin M., Shahbaz Khan, and Tamleek Ali. Trends and Directions in Trusted Computing: Models, Architectures and Technologies. IAENG. March, 2008. International MultiConference of Engineers and Computer Scientists (IMECS 08), Hong Kong.

Tamleek Ali, Nauman M. and Masoom Alam. An Accessible Formal Specification of the UML and OCL Meta-Model in Isabelle/HOL. IEEE. December, 2007. 11th IEEE International Multitopic Conference (INMIC 2007) Lahore, Pakistan.

Nauman M. and Uzair M. SE and CS Collaboration: Training Students for Engineering Large, Complex Systems. cseet, pp. 167-174, 20th Conference on Software Engineering Education & Training (CSEET’07), 2007
http://doi.ieeecomputersociety.org/10.1109/CSEET.2007.44

Masoom Alam, Michael Hafner, and Ruth Breu. Model Driven Security for Web Services (MDS4WS). In INMIC 2004, DOI: 10.1109/INMIC.2004.1492930/.
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1492930

Ruth Breu, Gerhard Popp, and Masoom Alam. Model Based Development of Access Policies. Submitted for publication in the special section of STTT Journal devoted to extended versions of FASE04 and FASE05 papers.
http://sttt.cs.uni-dortmund.de/

Masoom Alam and Ruth Breu and Michael Hafner. Modeling Permissions in a (U/X)ML World. In /IEEE ARES 2006/. ISBN: 0-7695-2567-9.
http://ieeexplore.ieee.org/Xplore/defdeny.jsp?url=/iel5/10823/34117/01625374.pdf?code=2

Masoom Alam, Ruth Breu, and Michael Hafner. Model-Driven Security Engineering for Trust Management in SECTET. Published in the special section of JOURNAL OF SOFTWARE (JSW), devoted to extended versions of ARES 2006 Papers.
http://www.academypublisher.com/jsw/vol02/no01/jsw02014759.pdf

Masoom Alam, Michael Hafner, and Ruth Breu. Modeling authorization in an SOA based application scenario. In /IASTED Conf. on Software Engineering/, pages 79–84, 2006.
http://www.actapress.com/PaperInfo.aspx?PaperID=23326

Masoom Alam, Michael Hafner, Ruth Breu, and Stefan Unterthiner. A framework for modelling restricted delegation in service oriented architecture. In TrustBus, pages 142–151, 2006.
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Alam:Muhammad.html

Masoom Alam, Michael Hafner, Ruth Breu, and Steffan Untertheiner. A Framework for Modelling Restricted Delegation of Rights in the SECTET. Accepted for publication in the special issue of International Journal of Computer Systems, Science and Engineering devoted to Best TrustBus 06 Conference Papers.
http://www.crlpublishing.co.uk/csse.htm

Masoom Alam, Michael Hafner, and Ruth Breu. A Constraint based Role Based Access Control in the SECTET A Model-Driven Approach. In /Proceedings of the ACM PST 2006 – International Conference on Privacy, Security and Trust, October 30th, 2006 – November 1st, 2006.

Masoom Alam, Michael Hafner, and Ruth Breu. Constraint based Role Based Access Control for modelling administrative constraints in the SECTET. In Proceedings of the ACM PST 2006 – International Conference on Privacy, Security and Trust, October 30th, 2006. November 1st, 2006.

Masoom Alam and Michael Hafner and Ruth Breu. A Constraint based Role Based Access Control in the SECTET – A Model-Driven Approach. Submitted for publication in Journal of Computer Security (JCS).
http://www.iospress.nl/loadtop/load.php?isbn=0926227x

Michael Hafner, Masoom Alam, and Ruth Breu. Towards a of QVT-based domain architecture for model driven security. In MoDELS, pages 275–290, 2006.
http://www.informatik.uni-trier.de/~ley/db/conf/models/models2006.html

Masoom Alam and Ruth Breu. Pattern-to-Pattern Transformation in the SECTET. In workshop proceedings, published in the CTIT Technical Report series. (ISSN 1381-3625) as part of ECMDA 2006.
http://www.ctit.utwente.nl/library/proceedings/3m4mda.pdf

Masoom Alam. Model-Driven Security Engineering for the realization of Dynamic Security Requirements in Collaborative Systems. In /PhD Symposium of IEEE/ACM Models 2006, Italy Genoa. LNCS 4364.

Search