29 citations · 51 across the 18 of their papers we have counts for
5 papers · 1 filter
Discovering, quantifying, and displaying attacks
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially when distributed compon…
Design-Efficiency in Security
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis…
Optimizing ZigBee Security using Stochastic Model Checking
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concer…
The Logic of XACML - Extended
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captur…
History-sensitive versus future-sensitive approaches to security in distributed systems
Alejandro Mario Hernandez, Flemming Nielson
We consider the use of aspect-oriented techniques as a flexible way to deal with security policies in distributed systems. Recent work suggests to use aspects for analysing the fut…