1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PF2011★ 1 cited
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.…
cs.CR2010
History-sensitive versus future-sensitive approaches to security in distributed systems
Alejandro Mario Hernandez, Flemming Nielson
We consider the use of aspect-oriented techniques as a flexible way to deal with security policies in distributed systems. Recent work suggests to use aspects for analysing the fut…