Etalle, Sandro.
Etalle, S. (Sandro), 1965-
Sandro Etalle
Etalle, S.
VIAF ID: 10944237 (Personal)
Permalink: http://viaf.org/viaf/10944237
Preferred Forms
-
-
-
- 100 1 _ ‡a Etalle, Sandro
-
- 100 1 _ ‡a Etalle, Sandro
-
-
- 100 1 _ ‡a Etalle, Sandro
- 100 1 _ ‡a Etalle, Sandro
-
-
- 100 0 _ ‡a Sandro Etalle
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Analysing password protocol security against off-line dictionary attacks | |
APHRODITE: an anomally-based architecture for false positive reduction | |
Audit-based access control for electronic health record | |
Benelog 1999 : proceedings of the eleventh Benelux workshop on logic programming | |
Comparing logic-based and XML-based rights expression languages | |
FLoC 2002 workshop SAVE 2002 | |
Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers | |
An improved constraint-based system for the verification of security protocols | |
Integrity constraints in trust management | |
Key management with group-wise pre-deployed keying and secret sharing pre-dep[lo]yed keying | |
The (lazy) functional side of logic programming | |
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers | |
Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings | |
More on unfold/fold transformations of normal programs: preservation of fitting's semantics | |
On the unification free Prolog programs | |
Privacy in an ambient world | |
Semantics of input-consuming programs | |
A simple procedure for finding guessing attacks | |
Simultaneous replacement in normal programs | |
Transformations of CLP modules | |
Transforming acyclic programs | |
Trust management / Edited by Sandro Etalle, Stephen Marsh. - New York, cop. 2007. | |
Trust management : proceedings of IFIPTM 2007: Joint i Trust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada |