School of Computing

Mar 27
11:00 - 12:00
Requirements Engineering for Socio-technical Systems: Extraction, Verification, and Revision
School of Computing - Security Group Seminar
Speaker: Dr Özgür Kafalı, University of Kent


The talk will consist of the presentation of two recent papers contributing to security and privacy requirements engineering. First, I will talk about the motivation and the overlapping technical background of the papers, i.e. the design of socio-technical systems consisting of software, human, and autonomous agent components. Second, I will focus on requirements extraction and demonstrate how crowdsourcing can be used to identify legal, security, and privacy requirements from formal regulation documents and informal breach reports. Third, I will focus on requirements verification and revision and demonstrate how heuristic design patterns can be used to refine socio-technical system specifications to meet dynamic requirements. I will also demonstrate how simulation experiments can be used to evaluate the effectiveness of such patterns.


Dr Özgür Kafalı is a Lecturer at the School of Computing at University of Kent. He received his BS, MS, and PhD degrees from Bogazici University, Turkey. He previously worked as a Postdoctoral Researcher at the Department of Computer Science, Royal Holloway, University of London and at the Department of Computer Science, North Carolina State University. His research interests include Artificial Intelligence, Security and Privacy Requirements Engineering, Multi-Agent Systems, and Computational Logic. He serves as a program committee member for international conferences AAAI, IJCAI, AAMAS, and ECAI. He also serves as a reviewer for international journals.


Cornwallis South West,
University of Kent,
United Kingdom


Open to everyone, especially those interested in cyber security research,


Contact: Jason R.C. Nurse

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015