-
A formal integration of access control policies into information systems
Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most... -
User identity based authentication mechanisms for network security enhancement
In this thesis, we design three new authentication mechanisms based on user identity. Therefore, we bring improvements in access control for different classes of... -
Security policies modeling by using formal methods
Access control allows one to specify a part of the security Policy of an IS (information system). An AC (access control) policy defines which conditions must old for... -
Formal approaches for enforcing access control policies in service oriented a...
Nowadays information systems are, more than ever, available through Web browsers. Therefore, they become vulnerable against attack, which has made security an... -
Compliance of Web services over a high level specification
Currently, Web services technology is rapidly move forward supported by major players in the field of information systems. Web services applications are loosely... -
Data ownership and interoperability for a decentralized social semantic web
Ensuring personal data ownership and interoperability for decentralized social Web applications is currently a debated topic, especially when taking into consideration... -
Context-aware access control and presentation of linked data
This thesis discusses the influence of mobile context awareness in accessing the Web of Data from handheld devices. The work dissects this issue into two research...
