6 citations · 21 across the 14 of their papers we have counts for
4 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…