 | 2009 |
|---|
| 98 |       | Ayse Morali,
Emmanuele Zambon,
Siv Hilde Houmb,
Karin Sallhammar,
Sandro Etalle:
Extended eTVRA vs. security checklist: Experiences in a value-web.
ICSE Companion 2009: 130-140 |
| 97 | | Damiano Bolzoni,
Sandro Etalle,
Pieter H. Hartel:
Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems.
RAID 2009: 1-20 |
| 2008 |
|---|
| 96 | | Ayse Morali,
Emmanuele Zambon,
Sandro Etalle,
Paul L. O. Re:
IT confidentiality risk assessment for an architecture-based approach.
BDIM 2008: 31-40 |
| 95 | | Fred Spiessens,
Jerry den Hartog,
Sandro Etalle:
Know What You Trust.
Formal Aspects in Security and Trust 2008: 129-142 |
| 94 | | Damiano Bolzoni,
Sandro Etalle:
Boosting Web Intrusion Detection Systems by Inferring Positive Signatures.
OTM Conferences (2) 2008: 938-955 |
| 93 | | M. A. C. Dekker,
Jason Crampton,
Sandro Etalle:
RBAC administration in distributed systems.
SACMAT 2008: 93-102 |
| 2007 |
|---|
| 92 | | M. A. C. Dekker,
J. G. Cederquist,
Jason Crampton,
Sandro Etalle:
Extended privilege inheritance in RBAC.
ASIACCS 2007: 383-385 |
| 91 | | Sandro Etalle,
Jerry den Hartog,
Stephen Marsh:
Trust and punishment.
Autonomics 2007: 5 |
| 90 | | Emmanuele Zambon,
Damiano Bolzoni,
Sandro Etalle,
Marco Salvato:
Model-Based Mitigation of Availability Risks.
BDIM 2007: 75-83 |
| 89 | | Marcin Czenko,
Sandro Etalle,
Dongyi Li,
William H. Winsborough:
An Introduction to the Role Based Trust Management Framework RT.
FOSAD 2007: 246-281 |
| 88 | | Marcin Czenko,
Sandro Etalle:
Core TuLiP Logic Programming for Trust Management.
ICLP 2007: 380-394 |
| 87 | | Damiano Bolzoni,
Bruno Crispo,
Sandro Etalle:
ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems.
LISA 2007: 141-152 |
| 86 | | Sandro Etalle,
William H. Winsborough:
A posteriori compliance control.
SACMAT 2007: 11-20 |
| 85 | | M. A. C. Dekker,
Sandro Etalle:
Refinement for Administrative Policies.
Secure Data Management 2007: 33-46 |
| 84 | | Sandro Etalle,
Fabio Massacci,
Artsiom Yautsiukhin:
The Meaning of Logs.
TrustBus 2007: 145-154 |
| 83 | | M. A. C. Dekker,
Sandro Etalle:
Audit-Based Access Control for Electronic Health Records.
Electr. Notes Theor. Comput. Sci. 168: 221-236 (2007) |
| 82 | | Sandro Etalle,
Pierangela Samarati:
Preface.
Electr. Notes Theor. Comput. Sci. 179: 1-2 (2007) |
| 81 | | J. G. Cederquist,
Ricardo Corin,
M. A. C. Dekker,
Sandro Etalle,
J. I. den Hartog,
Gabriele Lenzini:
Audit-based compliance control.
Int. J. Inf. Sec. 6(2-3): 133-151 (2007) |
| 80 | | Ricardo Corin,
Sandro Etalle,
Pieter H. Hartel,
Angelika Mader:
Timed analysis of security protocols.
Journal of Computer Security 15(6): 619-645 (2007) |
| 2006 |
|---|
| 79 |  | Sandro Etalle,
Miroslaw Truszczynski:
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Springer 2006 |
| 78 | | Ricardo Corin,
Sandro Etalle,
Ari Saptawijaya:
A Logic for Constraint-based Security Protocol Analysis.
IEEE Symposium on Security and Privacy 2006: 155-168 |
| 77 | | Damiano Bolzoni,
Sandro Etalle,
Pieter H. Hartel,
Emmanuele Zambon:
POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System.
IWIA 2006: 144-156 |
| 76 | | Cheun Ngen Chong,
Ricardo Corin,
Jeroen Doumen,
Sandro Etalle,
Pieter H. Hartel,
Yee Wei Law,
Andrew Tokmakoff:
LicenseScript: a logical language for digital rights management.
Annales des Télécommunications 61(3-4): 284-331 (2006) |
| 75 | | Damiano Bolzoni,
Sandro Etalle:
APHRODITE: an Anomaly-based Architecture for False Positive Reduction
CoRR abs/cs/0604026: (2006) |
| 74 | | Marcin Czenko,
Ha Tran,
Jeroen Doumen,
Sandro Etalle,
Pieter H. Hartel,
Jerry den Hartog:
Nonmonotonic Trust Management for P2P Applications.
Electr. Notes Theor. Comput. Sci. 157(3): 113-130 (2006) |
| 73 | | Giorgio Delzanno,
Sandro Etalle,
Maurizio Gabbrielli:
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.
TPLP 6(3): 225-226 (2006) |
| 2005 |
|---|
| 72 | | Sandro Etalle:
Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Springer 2005 |
| 71 | | Ricardo Corin,
Gaetano Di Caprio,
Sandro Etalle,
Stefania Gnesi,
Gabriele Lenzini,
Corrado Moiso:
A Formal Security Analysis of an OSA/Parlay Authentication Interface.
FMOODS 2005: 131-146 |
| 70 | | Cheun Ngen Chong,
Sandro Etalle,
Pieter H. Hartel,
Rieks Joosten,
Geert Kleinhuis:
Service Brokerage in Prolog.
ICEIS (3) 2005: 409-412 |
| 69 | | Ricardo Corin,
Ari Saptawijaya,
Sandro Etalle:
PS-LTL for Constraint-Based Security Protocol Analysis.
ICLP 2005: 439-440 |
| 68 | | J. G. Cederquist,
Ricardo Corin,
M. A. C. Dekker,
Sandro Etalle,
J. I. den Hartog:
An Audit Logic for Accountability.
POLICY 2005: 34-43 |
| 67 | | Sandro Etalle,
William H. Winsborough:
Integrity constraints in trust management.
SACMAT 2005: 1-10 |
| 66 | | Jieyin Cheng,
Cheun Ngen Chong,
Jeroen Doumen,
Sandro Etalle,
Pieter H. Hartel,
Stefan Nikolaus:
StreamTo: Streaming Content using a Tamper-Resistant Token.
SEC 2005: 601-612 |
| 65 | | J. G. Cederquist,
Ricardo Corin,
M. A. C. Dekker,
Sandro Etalle,
J. I. den Hartog:
An Audit Logic for Accountability
CoRR abs/cs/0502091: (2005) |
| 64 | | Ricardo Corin,
Sandro Etalle,
Pieter H. Hartel,
Angelika Mader:
Timed Analysis of Security Protocols
CoRR abs/cs/0503036: (2005) |
| 63 | | Sandro Etalle,
William H. Winsborough:
Integrity Constraints in Trust Management
CoRR abs/cs/0503061: (2005) |
| 62 | | Marcin Czenko,
Ha Tran,
Jeroen Doumen,
Sandro Etalle,
Pieter H. Hartel,
Jerry den Hartog:
Nonmonotonic Trust Management for P2P Applications
CoRR abs/cs/0510061: (2005) |
| 61 | | Damiano Bolzoni,
Emmanuele Zambon,
Sandro Etalle,
Pieter H. Hartel:
Poseidon: a 2-tier Anomaly-based Intrusion Detection System
CoRR abs/cs/0511043: (2005) |
| 60 | | Sandro Etalle,
Supratik Mukhopadhyay,
Abhik Roychoudhury:
Preface.
Electr. Notes Theor. Comput. Sci. 118: 1- (2005) |
| 59 | | Ricardo Corin,
Sandro Etalle,
Pieter H. Hartel,
Antonio Durante:
A Trace Logic for Local Security Properties.
Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005) |
| 58 | | Ricardo Corin,
Jeroen Doumen,
Sandro Etalle:
Analysing Password Protocol Security Against Off-line Dictionary Attacks.
Electr. Notes Theor. Comput. Sci. 121: 47-63 (2005) |
| 2004 |
|---|
| 57 | | Pieter H. Hartel,
Pascal van Eck,
Sandro Etalle,
Roel Wieringa:
Modelling Mobility Aspects of Security Policies.
CASSIS 2004: 172-191 |
| 56 | | Ricardo Corin,
Sandro Etalle,
Pieter H. Hartel,
Angelika Mader:
Timed model checking of security protocols.
FMSE 2004: 23-32 |
| 55 | | Ricardo Corin,
Sandro Etalle,
J. I. den Hartog,
Gabriele Lenzini,
I. Staicu:
A Logic for Auditing Accountability in Decentralized Systems.
Formal Aspects in Security and Trust 2004: 187-201 |
| 54 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle,
Sabina Rossi:
Declarative Semantics of Input Consuming Logic Programs.
Program Development in Computational Logic 2004: 90-114 |
| 53 | | Cheun Ngen Chong,
Bin Ren,
Jeroen Doumen,
Sandro Etalle,
Pieter H. Hartel,
Ricardo Corin:
License Protection with a Tamper-Resistant Token.
WISA 2004: 223-237 |
| 52 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi,
Jan-Georg Smaus:
Termination of simply moded logic programs with dynamic scheduling.
ACM Trans. Comput. Log. 5(3): 470-507 (2004) |
| 51 | | Ricardo Corin,
Antonio Durante,
Sandro Etalle,
Pieter H. Hartel:
A Trace Logic for Local Security Properties
CoRR cs.CR/0411010: (2004) |
| 2003 |
|---|
| 50 | | Cheun Ngen Chong,
Sandro Etalle,
Pieter H. Hartel,
Yee Wei Law:
Approximating Fair Use in LicenseScript.
ICADL 2003: 432-443 |
| 49 | | Roberto Di Pietro,
Luigi V. Mancini,
Yee Wei Law,
Sandro Etalle,
Paul J. M. Havinga:
LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks.
ICPP Workshops 2003: 397- |
| 48 | | Cheun Ngen Chong,
Sandro Etalle,
Pieter H. Hartel:
Comparing Logic-Based and XML-Based Rights Expression Languages.
OTM Workshops 2003: 779-792 |
| 47 | | Paul J. M. Havinga,
Sandro Etalle,
Holger Karl,
Chiara Petrioli,
Michele Zorzi,
Harry Kip,
Thomas Lentsch:
EYES - Energy Efficient Sensor Networks.
PWC 2003: 198-201 |
| 46 | | Yee Wei Law,
Ricardo Corin,
Sandro Etalle,
Pieter H. Hartel:
A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks.
PWC 2003: 27-39 |
| 45 | | Yee Wei Law,
Sandro Etalle,
Pieter H. Hartel:
Assessing Security in Energy-Efficient Sensor Networks.
SEC 2003: 459-463 |
| 2002 |
|---|
| 44 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle:
Transformation Systems and Nondeclarative Properties.
Computational Logic: Logic Programming and Beyond 2002: 162-186 |
| 43 | | Ricardo Corin,
Sandro Etalle:
An Improved Constraint-Based System for the Verification of Security Protocols.
SAS 2002: 326-341 |
| 42 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Properties of input-consuming derivations.
TPLP 2(2): 125-154 (2002) |
| 41 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle,
Sabina Rossi:
On modular termination proofs of general logic programs.
TPLP 2(3): 263-291 (2002) |
| 2001 |
|---|
| 40 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi,
Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.
ESOP 2001: 402-416 |
| 39 | | Giorgio Delzanno,
Sandro Etalle:
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.
LOPSTR 2001: 76-90 |
| 38 | | Sandro Etalle,
Maurizio Gabbrielli,
Maria Chiara Meo:
Transformations of CCP programs.
ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001) |
| 37 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi,
Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
CoRR cs.LO/0101022: (2001) |
| 36 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Properties of Input-Consuming Derivations
CoRR cs.PL/0101023: (2001) |
| 35 | | Sandro Etalle,
Maurizio Gabbrielli,
Maria Chiara Meo:
Transformations of CCP programs
CoRR cs.PL/0107014: (2001) |
| 2000 |
|---|
| 34 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Semantics of Input-Consuming Logic Programs.
Computational Logic 2000: 194-208 |
| 33 | | Sandro Etalle,
Jon Mountjoy:
The lazy functional side of logic programming.
LOPSTR 2000 |
| 32 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle,
Sabina Rossi:
On Modular Termination Proofs of General Logic Programs
CoRR cs.LO/0005018: (2000) |
| 31 | | Sandro Etalle,
Jon Mountjoy:
The (Lazy) Functional Side of Logic Programming
CoRR cs.PL/0003070: (2000) |
| 30 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Semantics of well-moded input-consuming logic programs.
Comput. Lang. 26(1): 1-25 (2000) |
| 1999 |
|---|
| 29 | | Marco Bertolino,
Sandro Etalle,
Catuscia Palamidessi:
The Replacement Operation for CCP Programs.
APPIA-GULP-PRODE 1999: 441-454 |
| 28 | | Sandro Etalle,
Femke van Raamsdonk:
Logic Programming with Requests.
ICLP 1999: 558-572 |
| 27 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle:
Transformation of Left Terminating Programs.
LOPSTR 1999: 156-175 |
| 26 | | Marco Bertolino,
Sandro Etalle,
Catuscia Palamidessi:
The Replacement Operation for CCP Programs.
LOPSTR 1999: 216-233 |
| 25 | | Sandro Etalle,
Jan-Georg Smaus:
Preface - Workshop on Verification of Logic Programs.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 24 | | Annalisa Bossi,
Sandro Etalle,
Sabina Rossi:
Properties of Input-Consuming Derivations.
Electr. Notes Theor. Comput. Sci. 30(1): (1999) |
| 23 | | Sandro Etalle,
Annalisa Bossi,
Nicoletta Cocco:
Termination of Well-Moded Programs.
J. Log. Program. 38(2): 243-257 (1999) |
| 22 | | Sandro Etalle,
Maurizio Gabbrielli:
Layered Modes.
J. Log. Program. 39(1-3): 225-244 (1999) |
| 21 | | Sandro Etalle,
Pieter H. Hartel,
Willem G. Vree:
Declarative solutions to partitioned-grid problems.
Softw., Pract. Exper. 29(13): 1173-1200 (1999) |
| 1998 |
|---|
| 20 | | Sandro Etalle,
Maurizio Gabbrielli,
Maria Chiara Meo:
Unfold/Fold Transformations of CCP Programs.
CONCUR 1998: 348-365 |
| 19 | | Sandro Etalle,
Femke van Raamsdonk:
Beyond Success and Failure.
IJCSLP 1998: 190-205 |
| 18 | | Sandro Etalle,
Maurizio Gabbrielli:
Partial Evaluation of Concurrent Constraint Languages.
ACM Comput. Surv. 30(3es): 11 (1998) |
| 17 | | Sandro Etalle:
A Semantics for Modular General Logic Programs.
Theor. Comput. Sci. 206(1-2): 51-80 (1998) |
| 1997 |
|---|
| 16 | | Sandro Etalle,
Maurizio Gabbrielli,
Elena Marchiori:
A Transformation System for CLP with Dynamic Scheduling and CCP.
PEPM 1997: 137-150 |
| 1996 |
|---|
| 15 | | Sandro Etalle,
Maurizio Gabbrielli:
Layered Modes.
APPIA-GULP-PRODE 1996: 41-52 |
| 14 | | Sandro Etalle,
Frank Teusink:
A Compositional Semantics for Normal Open Programs.
JICSLP 1996: 468-482 |
| 13 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle:
Simultaneous Replacement in Normal Programs.
J. Log. Comput. 6(1): 79-120 (1996) |
| 12 | | Sandro Etalle:
Unification-free Prolog programs revisited.
J. Prog. Lang. 4(4): 187-210 (1996) |
| 11 | | Sandro Etalle,
Maurizio Gabbrielli:
On the Correctness of the Replacement Operation for CLP Modules.
Journal of Functional and Logic Programming 1996(1): (1996) |
| 10 | | Sandro Etalle,
Maurizio Gabbrielli:
Transformations of CLP Modules.
Theor. Comput. Sci. 166(1&2): 101-146 (1996) |
| 1995 |
|---|
| 9 | | Sandro Etalle,
Maurizio Gabbrielli:
A Transformation System for Modular CLP Programs.
ICLP 1995: 681-695 |
| 8 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle:
Transformation of Left Terminating Programs: the Reordering Problem.
LOPSTR 1995: 33-45 |
| 7 | | Sandro Etalle,
Maurizio Gabbrielli:
The Replacement Operation for CLP Modules.
PEPM 1995: 168-177 |
| 1994 |
|---|
| 6 | | Sandro Etalle,
Maurizio Gabbrielli:
Modular Transformations of CLP Programs.
GULP-PRODE (1) 1994: 218-233 |
| 5 | | Annalisa Bossi,
Sandro Etalle:
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.
META 1994: 311-331 |
| 4 | | Annalisa Bossi,
Sandro Etalle:
Transforming Acyclic Programs.
ACM Trans. Program. Lang. Syst. 16(4): 1081-1096 (1994) |
| 1993 |
|---|
| 3 | | Krzysztof R. Apt,
Sandro Etalle:
On the Unification Free Prolog Programs.
MFCS 1993: 1-19 |
| 1992 |
|---|
| 2 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle:
Transforming Normal Programs by Replacement.
META 1992: 265-279 |
| 1 | | Annalisa Bossi,
Nicoletta Cocco,
Sandro Etalle:
On Safe Folding.
PLILP 1992: 172-186 |
