6 citations · 21 across the 14 of their papers we have counts for
14 papers
Program Analysis (an Appetizer)
Flemming Nielson, Hanne Riis Nielson
This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather tha…
A Theory of Available-by-Design Communicating Systems
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreo…
A Coordination Language for Databases
Ximeng Li, Xi Wu, Alberto Lluch Lafuente +2
We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordi…
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…
A Framework for Hybrid Systems with Denial-of-Service Security Attack
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of…
Pushdown Systems for Monotone Frameworks
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and…
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…
Lattice based Least Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
As software systems become more complex, there is an increasing need for new static analyses. Thanks to the declarative style, logic programming is an attractive formalism for spec…
XACML 3.0 in Answer Set Programming
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
We present a systematic technique for transforming XACML 3.0 policies in Answer Set Programming (ASP). We show that the resulting logic program has a unique answer set that directl…
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…
Layered Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both induc…
Secondary use of data in EHR systems
Fan Yang, Chris Hankin, Flemming Nielson +1
We show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce va…
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…