Search Results - "Nielson, Hanne Riis"

Atomistic Galois insertions for flow sensitive integrity by Nielson, Flemming, Riis Nielson, Hanne

“…•We develop the theory of atomistic Galois insertions to link abstract security policies with the results of static analyses.•We use this to impose a content…”
Get full text

Timing Leaks and Coarse-Grained Clocks by Vasilikos, Panagiotis, Riis Nielson, Hanne, Nielson, Flemming, Kopf, Boris

“…Timing-based side-channel attacks have matured from an academic exercise to a powerful attack vector in the hand of real-world adversaries. A widely deployed…”
Get full text

Discovering, quantifying, and displaying attacks by Vigo, Roberto, Nielson, Flemming, Nielson, Hanne Riis

“…In the design of software and cyber-physical systems, security is often perceived as a qualitative need, but can only be attained quantitatively. Especially…”
Get full text

A Coordination Language for Databases by Ximeng Li, Xi Wu, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

“…We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities…”
Get full text

A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks by Yuksel, E., Riis Nielson, H., Nielson, F.

“…ZigRee is a wireless sensor network standard that defines network and application layers on top of IEEE 802.15.4's physical and medium access control layers…”
Get full text

Static Analysis for the π-Calculus with Applications to Security by Bodei, Chiara, Degano, Pierpaolo, Nielson, Flemming, Riis Nielson, Hanne

“…Control Flow Analysis is a static technique for predicting safe and computable approximations to the set of values that the objects of a program may assume…”
Get full text

Validating firewalls using flow logics by Nielson, Flemming, Riis Nielson, Hanne, Hansen, René Rydhof

“…The ambient calculus is a calculus of computation that allows active processes to communicate and to move between sites. A site is said to be a protective…”
Get full text

A calculus for control flow analysis of security protocols by Buchholtz, Mikael, Riis Nielson, Hanne, Nielson, Flemming

“…The design of a process calculus for analysing security protocols is governed by three factors: expressing the security protocol in a precise and faithful…”
Get full text

Content dependent information flow control by Nielson, Hanne Riis, Nielson, Flemming

Get full text

Kleene's Logic with Equality by Nielson, Flemming, Riis Nielson, Hanne, Sagiv, Mooly

“…Plotkin's Powerdomain facilitates a rational reconstruction of Kleene's Logic from Predicate Logic and we use this to apply the techniques developed in…”
Get full text

The logic of XACML by Ramli, Carroline Dewi Puspa Kencana, Nielson, Hanne Riis, Nielson, Flemming

“…We study the international standard XACML 3.0 for describing security access control policies in a compositional way. Our main contributions are (i) to derive…”
Get full text

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints by Filipiuk, Piotr, Riis Nielson, Hanne, Nielson, Flemming

“…ALFP, Alternation-free Least Fixed Point logic, has successfully been used as an intermediate language in the implementation of static analysis and model…”
Get full text

Enforcing globally dependent flow policies in message-passing systems by Li, Ximeng, Nielson, Flemming, Nielson, Hanne Riis

“…The flow of information in a computing system is a crucial indicator for the security of the system. In a system of multiple message-passing processes, the…”
Get full text

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP by Wang, Shuling, Nielson, Flemming, Nielson, Hanne Riis, Zhan, Naijun

Get full text

A calculus of quality for robustness against unreliable communication by Nielson, Hanne Riis, Nielson, Flemming, Vigo, Roberto

Get full text

Control Flow Analysis for BioAmbients by Nielson, Flemming, Riis Nielson, Hanne, Priami, Corrado, Rosa, Debora

“…This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to…”
Get full text

Heuristics for Safety and Security Constraints by Nielson, Flemming, Riis Nielson, Hanne

“…The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in…”
Get full text

Predictive access control for distributed computation by Yang, Fan, Hankin, Chris, Nielson, Flemming, Nielson, Hanne Riis

“…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…”
Get full text

Static analysis of topology-dependent broadcast networks by Nanz, Sebastian, Nielson, Flemming, Nielson, Hanne Riis

“…Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to…”
Get full text

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study by Yüksel, Ender, Nielson, Hanne Riis, Nielson, Flemming, Zhu, Huibiao, Huang, Heqing

“…Cyber-physical systems integrate information and communication technology with the physical elements of a system, mainly for monitoring and controlling…”
Get full text