29 citations · 51 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
A Stochastic Broadcast Pi-Calculus
Lei Song, Flemming Nielson, Bo Friis Nielsen
In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant.…
Efficient CSL Model Checking Using Stratification
Lijun Zhang, David N. Jansen, Flemming Nielson +1
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal,…