Sandro Etalle - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Extended eTVRA vs. security checklist: Experiences in a value-webAyse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle. ICSE 2009: 130-140 [doi]

2008

2007

ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection SystemsDamiano Bolzoni, Bruno Crispo, Sandro Etalle. lisa 2007: 141-152 [doi]

Audit-based compliance controlJ. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini. ijisec, 6(2-3):133-151, 2007. [doi]

Timed analysis of security protocolsRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader. jcs, 15(6):619-645, 2007. [doi]

Core TuLiP Logic Programming for Trust ManagementMarcin Czenko, Sandro Etalle. ICLP 2007: 380-394 [doi]

An Introduction to the Role Based Trust Management Framework RTMarcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough. fosad 2007: 246-281 [doi]

Extended privilege inheritance in RBACM. A. C. Dekker, J. G. Cederquist, Jason Crampton, Sandro Etalle. ccs 2007: 383-385 [doi]

Refinement for Administrative PoliciesM. A. C. Dekker, Sandro Etalle. sdmw 2007: 33-46 [doi]

Audit-Based Access Control for Electronic Health RecordsM. A. C. Dekker, Sandro Etalle. ENTCS, 168:221-236, 2007. [doi]

PrefaceSandro Etalle, Pierangela Samarati. ENTCS, 179:1-2, 2007. [doi]

Trust and punishmentSandro Etalle, Jerry den Hartog, Stephen Marsh. autonomics 2007: 5 [doi]

A posteriori compliance controlSandro Etalle, William H. Winsborough. SACMAT 2007: 11-20 [doi]

The Meaning of LogsSandro Etalle, Fabio Massacci, Artsiom Yautsiukhin. trustbus 2007: 145-154 [doi]

Model-Based Mitigation of Availability RisksEmmanuele Zambon, Damiano Bolzoni, Sandro Etalle, Marco Salvato. bdim 2007: 75-83 [doi]

2006

POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection SystemDamiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon. iwia 2006: 144-156 [doi]

LicenseScript: a logical language for digital rights managementCheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff. adt, 61(3-4):284-331, 2006.

A Logic for Constraint-based Security Protocol AnalysisRicardo Corin, Sandro Etalle, Ari Saptawijaya. sp 2006: 155-168 [doi]

Nonmonotonic Trust Management for P2P ApplicationsMarcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog. ENTCS, 157(3):113-130, 2006. [doi]

Introduction to the Special Issue on Specification Analysis and Verification of Reactive SystemsGiorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli. tplp, 6(3):225-226, 2006. [doi]

Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, ProceedingsSandro Etalle, Miroslaw Truszczynski, editors, Volume 4079 of Lecture Notes in Computer Science, Springer, 2006.

2005

An Audit Logic for AccountabilityJ. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog. policy 2005: 34-43 [doi]

StreamTo: Streaming Content using a Tamper-Resistant TokenJieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus. sec 2005: 601-612

Service Brokerage in PrologCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis. ICEIS 2005: 409-412

A Trace Logic for Local Security PropertiesRicardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante. ENTCS, 118:129-143, 2005. [doi]

Analysing Password Protocol Security Against Off-line Dictionary AttacksRicardo Corin, Jeroen Doumen, Sandro Etalle. ENTCS, 121:47-63, 2005. [doi]

A Formal Security Analysis of an OSA/Parlay Authentication InterfaceRicardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso. fmoods 2005: 131-146 [doi]

PS-LTL for Constraint-Based Security Protocol AnalysisRicardo Corin, Ari Saptawijaya, Sandro Etalle. ICLP 2005: 439-440 [doi]

PrefaceSandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury. ENTCS, 118:1, 2005. [doi]

Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected PapersSandro Etalle, editor, Volume 3573 of Lecture Notes in Computer Science, Springer, 2005.

Integrity constraints in trust managementSandro Etalle, William H. Winsborough. SACMAT 2005: 1-10 [doi]

2004

Termination of simply moded logic programs with dynamic schedulingAnnalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus. tocl, 5(3):470-507, 2004. [doi]

Declarative Semantics of Input Consuming Logic ProgramsAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi. LOPSTR 2004: 90-114 [doi]

License Protection with a Tamper-Resistant TokenCheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin. wisa 2004: 223-237 [doi]

A Logic for Auditing Accountability in Decentralized SystemsRicardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu. ifip1-7 2005: 187-201 [doi]

Timed model checking of security protocolsRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader. ccs 2004: 23-32 [doi]

Modelling Mobility Aspects of Security PoliciesPieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa. cassis 2005: 172-191 [doi]

2003

Approximating Fair Use in LicenseScriptCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law. ICADL 2003: 432-443 [doi]

Comparing Logic-Based and XML-Based Rights Expression LanguagesCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel. otm 2003: 779-792 [doi]

EYES - Energy Efficient Sensor NetworksPaul J. M. Havinga, Sandro Etalle, Holger Karl, Chiara Petrioli, Michele Zorzi, Harry Kip, Thomas Lentsch. ifip6-8 2003: 198-201 [doi]

Assessing Security in Energy-Efficient Sensor NetworksYee Wei Law, Sandro Etalle, Pieter H. Hartel. sec 2003: 459-463

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor NetworksYee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel. ifip6-8 2003: 27-39 [doi]

LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor NetworksRoberto Di Pietro, Luigi V. Mancini, Yee Wei Law, Sandro Etalle, Paul J. M. Havinga. icppw 2003: 397 [doi]

2002

2001

Semantics and Termination of Simply-Moded Logic Programs with Dynamic SchedulingAnnalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus. ESOP 2001: 402-416 [doi]

Proof Theory, Transformations, and Logic Programming for Debugging Security ProtocolsGiorgio Delzanno, Sandro Etalle. LOPSTR 2001: 76-90 [doi]

Transformations of CCP programsSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo. TOPLAS, 23(3):304-395, 2001. [doi]

2000

Semantics of well-moded input-consuming logic programsAnnalisa Bossi, Sandro Etalle, Sabina Rossi. Comp. Lang., Syst. \& Struct., 26(1):1-25, 2000.

Semantics of Input-Consuming Logic ProgramsAnnalisa Bossi, Sandro Etalle, Sabina Rossi. cl 2000: 194-208 [doi]

The lazy functional side of logic programmingSandro Etalle, Jon Mountjoy. LOPSTR 2001: [doi]

1999

The Replacement Operation for CCP ProgramsMarco Bertolino, Sandro Etalle, Catuscia Palamidessi. agp 1999: 441-454

The Replacement Operation for CCP ProgramsMarco Bertolino, Sandro Etalle, Catuscia Palamidessi. LOPSTR 2000: 216-233

Properties of Input-Consuming DerivationsAnnalisa Bossi, Sandro Etalle, Sabina Rossi. TCS, 30(1), 1999. [doi]

Transformation of Left Terminating ProgramsAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. LOPSTR 2000: 156-175

Layered ModesSandro Etalle, Maurizio Gabbrielli. jlp, 39(1-3):225-244, 1999.

Termination of Well-Moded ProgramsSandro Etalle, Annalisa Bossi, Nicoletta Cocco. jlp, 38(2):243-257, 1999.

Preface - Workshop on Verification of Logic ProgramsSandro Etalle, Jan-Georg Smaus. TCS, 30(1), 1999. [doi]

Declarative solutions to partitioned-grid problemsSandro Etalle, Pieter H. Hartel, Willem G. Vree. SPE, 29(13):1173-1200, 1999.

Logic Programming with RequestsSandro Etalle, Femke van Raamsdonk. ICLP 1999: 558-572

1998

Beyond Success and FailureSandro Etalle, Femke van Raamsdonk. ICLP 1998: 190-205

Unfold/Fold Transformations of CCP ProgramsSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo. concur 1998: 348-365 [doi]

A Semantics for Modular General Logic ProgramsSandro Etalle. TCS, 206(1-2):51-80, 1998. [doi]

Partial Evaluation of Concurrent Constraint LanguagesSandro Etalle, Maurizio Gabbrielli. ACM Comput. Surv., 30(3es):11, 1998. [doi]

1997

A Transformation System for CLP with Dynamic Scheduling and CCPSandro Etalle, Maurizio Gabbrielli, Elena Marchiori. PEPM 1997: 137-150 [doi]

1996

Simultaneous Replacement in Normal ProgramsAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. logcom, 6(1):79-120, 1996.

On the Correctness of the Replacement Operation for CLP ModulesSandro Etalle, Maurizio Gabbrielli. jflp, 1996(1), 1996.

Layered ModesSandro Etalle, Maurizio Gabbrielli. agp 1996: 41-52

Unification-free Prolog programs revisitedSandro Etalle. jpl, 4(4):187-210, 1996. [doi]

Transformations of CLP ModulesSandro Etalle, Maurizio Gabbrielli. TCS, 166(1&2):101-146, 1996. [doi]

A Compositional Semantics for Normal Open ProgramsSandro Etalle, Frank Teusink. ICLP 1996: 468-482

1995

Transformation of Left Terminating Programs: the Reordering ProblemAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. LOPSTR 1996: 33-45

The Replacement Operation for CLP ModulesSandro Etalle, Maurizio Gabbrielli. PEPM 1995: 168-177

A Transformation System for Modular CLP ProgramsSandro Etalle, Maurizio Gabbrielli. ICLP 1995: 681-695

1994

Transforming Acyclic ProgramsAnnalisa Bossi, Sandro Etalle. TOPLAS, 16(4):1081-1096, 1994. [doi]

More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting s SemanticsAnnalisa Bossi, Sandro Etalle. LOPSTR 1994: 311-331

Modular Transformations of CLP ProgramsSandro Etalle, Maurizio Gabbrielli. agp 1994: 218-233

1993

On the Unification Free Prolog ProgramsKrzysztof R. Apt, Sandro Etalle. mfcs 1993: 1-19

1992

On Safe FoldingAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. plilp 1992: 172-186

Transforming Normal Programs by ReplacementAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. meta 1992: 265-279