4 citations · 9 across the 5 of their papers we have counts for
5 papers
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…
Roadmap Document on Stochastic Analysis
Bo Friis Nielsen, Flemming Nielson, Henrik Pilegaard +4
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for f…
Analysing ZigBee Key Establishment Protocols
Ender Yüksel
In this report, we present our approach for protocol analysis together with a real example where we find an important flow in a contemporary wireless sensor network security protoc…
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…
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2
Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of…