3 citations · 5 across the 3 of their papers we have counts for
6 papers
Integrity Constraints in Trust Management
Sandro Etalle, William H. Winsborough
We introduce the use, monitoring, and enforcement of integrity constraints in trust management-style authorization systems. We consider what portions of the policy state must be mo…
Timed Analysis of Security Protocols
R. Corin, S. Etalle, P. H. Hartel +1
We propose a method for engineering security protocols that are aware of timing aspects. We study a simplified version of the well-known Needham Schroeder protocol and the complete…
A Trace Logic for Local Security Properties
Ricardo Corin, Antonio Durante, Sandro Etalle +1
We propose a new simple \emph{trace} logic that can be used to specify \emph{local security properties}, i.e. security properties that refer to a single participant of the protocol…
Transformations of CCP programs
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input…
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Annalisa Bossi, Sandro Etalle, Sabina Rossi +1
In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed to a fixed…
The (Lazy) Functional Side of Logic Programming
S. Etalle, J. Mountjoy
The possibility of translating logic programs into functional ones has long been a subject of investigation. Common to the many approaches is that the original logic program, in or…