Year
Research Program
Software Engineering, Formal Methods and Security
Check for available options on the right hand side to narrow down or expand the list.
Show all in one page (slower)Technical Reports - DISI-10-049
Awareness Requirements for Adaptive Systems
2010, Note: The contents of this report were submitted for publication at the 33rd International Conference on Software Engineering - ICSE 2011
Keywords:
requirements engineering, modeling, self-adaptive systems, awareness, feedback loops, monitoring
Abstract: Recently, there has been a growing interest in self-adaptive systems. Roadmap papers in this area... See more
Technical Reports - DISI-10-037
Which is the Right Source for Vulnerability Studies? An Empirical Analysis on Mozilla Firefox
2010
Keywords:
Computer Security, Vulnerability Analysis
Abstract: The last years have seen a major trend towards the notion of quantitative security assessment and... See more
Technical Reports - DISI-10-029
Reasoning about Contextual Requirements for Mobile Information Systems: a Goal-based Approach
2010
Keywords:
Contextual Requirements, Goal Modeling, Mobile Information Systems, Requirements Engineering, Reasoning about Goal Models
Abstract: Mobile information systems are characterized by their ability to adapt to varying contexts. There... See more
Technical Reports - DISI-10-040
Reasoning about Relation Based Access Control
2010, Note: In the proceedings of the 4th International Conference on Network and System Security (NSS 2010), Melbourne, Australia, September 1-3, 2010.
Keywords:
Access Control models, Description Logics
Abstract: Relation Based Access Control (RelBAC) is an access control model that places permissions as firs... See more
Technical Reports - DISI-10-053
Relation Based Access Control: Logic and Policies
2010
Abstract: The Web 2.0, GRID applications and more recently semantic desktop applications are bringing the W... See more
Technical Reports - DISI-10-020
Contextual Goal Models
2010
Keywords:
Contextual Requirements; Goal Modelling; Contextual Goal Models
Abstract: In emerging computing paradigms, such as mobile, ubiquitous, and pervasive computing, the relatio... See more
Technical Reports - DISI-10-019
A Goal-based Framework for Contextual Requirements Modeling and Analysis
2010
Keywords:
Contextual Requirements ; Context Analysis ; Goal Modeling ; Requirements Analysis
Abstract: Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context... See more
Technical Reports - DISI-10-074
Dynamic resiliency to user assignment
2010
Keywords:
access control, business process, resiliency
Abstract: Nowadays organizations face fast organizational changes and employee turnover, e.g user are unava... See more
Technical Reports - DISI-09-061
Realizing Trustworthy Business Services by a New GRC Approach
2009
Abstract: The trustworthiness of business services is widely recognised as a critical factor for the succes... See more
Technical Reports - DISI-09-053
BarterCell: an Agent-based Bartering Service for Users of Pocket Computing Devices
2009
Abstract: On behalf of nomadic users and through the use of computing pocket devices, agents can eï¬cientl... See more

