Sandro Etalle

Daniel Trivellato, Nicola Zannone, Maurice Glaundrup, Jacek Skowronek, Sandro Etalle: A Semantic Security Framework for Systems of Systems. Int. J. Cooperative Inf. Syst. 22(1) (2013)

Emmanuele Zambon, Sandro Etalle, Roel Wieringa: A²thOS: availability analysis and optimisation in SLAs. Int. Journal of Network Management 22(2): 104-130 (2012)

Dina Hadziosmanovic, Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel: Challenges and opportunities in securing industrial control systems. COMPENG 2012: 1-6

Sandro Etalle, Timothy L. Hinrichs, Adam J. Lee, Daniel Trivellato, Nicola Zannone: Policy Administration in Tag-Based Authorization. FPS 2012: 162-179

Dina Hadziosmanovic, Lorenzo Simionato, Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle: N-Gram against the Machine: On the Feasibility of the N-Gram Network Analysis for Binary Protocols. RAID 2012: 354-373

Gilles Barthe, Anupam Datta, Sandro Etalle (Eds.): Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7140, Springer 2012, isbn 978-3-642-29419-8

Daniel Trivellato, Nicola Zannone, Sandro Etalle: GEM: a Distributed Goal Evaluation Algorithm for Trust Management. CoRR abs/1210.0368 (2012)

Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò: Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning". J. Autom. Reasoning 46(3-4): 223-224 (2011)

Emmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel: Model-based qualitative risk assessment for availability of IT infrastructures. Software and System Modeling 10(4): 553-580 (2011)

Andrea Herrmann, Ayse Morali, Sandro Etalle, Roel Wieringa: Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. BIR Workshops 2011: 64-76

Daniel Trivellato, Nicola Zannone, Sandro Etalle: Poster: protecting information in systems of systems. ACM Conference on Computer and Communications Security 2011: 865-868

Daniel Trivellato, Nicola Zannone, Sandro Etalle: A Security Framework for Systems of Systems. POLICY 2011: 182-183

Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (Eds.): Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6561, Springer 2011, isbn 978-3-642-19750-5

Klemens Böhm, Sandro Etalle, Jerry den Hartog, Christian Hütter, Slim Trabelsi, Daniel Trivellato, Nicola Zannone: A Flexible Architecture for Privacy-Aware Trust Management. JTAER 5(2): 77-96 (2010)

Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel Wieringa: CRAC: Confidentiality risk assessment and IT-infrastructure comparison. CNSM 2010: 322-325

Nicola Zannone, Milan Petkovic, Sandro Etalle: Towards Data Protection Compliance. SECRYPT 2010: 213-216

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle: Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. IEEE Symposium on Security and Privacy 2010: 93-108

Sandro Etalle, William H. Winsborough: Maintaining control while delegating trust: Integrity constraints in trust management. ACM Trans. Inf. Syst. Secur. 13(1) (2009)

Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle: Reputation-Based Ontology Alignment for Autonomy and Interoperability in Distributed Access Control. CSE (3) 2009: 252-258

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

Marcin Czenko, Sandro Etalle: LP with Flexible Grouping and Aggregates Using Modes. LOPSTR 2009: 67-81

Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle: POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy. POLICY 2009: 110-113

Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel: Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. RAID 2009: 1-20

Ayse Morali, Emmanuele Zambon, Sandro Etalle, Paul L. O. Re: IT confidentiality risk assessment for an architecture-based approach. BDIM 2008: 31-40

Fred Spiessens, Jerry den Hartog, Sandro Etalle: Know What You Trust. Formal Aspects in Security and Trust 2008: 129-142

Damiano Bolzoni, Sandro Etalle: Boosting Web Intrusion Detection Systems by Inferring Positive Signatures. OTM Conferences (2) 2008: 938-955

M. A. C. Dekker, Jason Crampton, Sandro Etalle: RBAC administration in distributed systems. SACMAT 2008: 93-102

M. A. C. Dekker, Sandro Etalle: Audit-Based Access Control for Electronic Health Records. Electr. Notes Theor. Comput. Sci. 168: 221-236 (2007)

Sandro Etalle, Pierangela Samarati: Preface. Electr. Notes Theor. Comput. Sci. 179: 1-2 (2007)

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)

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed analysis of security protocols. Journal of Computer Security 15(6): 619-645 (2007)

Sandro Etalle, Jerry den Hartog, Stephen Marsh: Trust and punishment. Autonomics 2007: 5

Emmanuele Zambon, Damiano Bolzoni, Sandro Etalle, Marco Salvato: Model-Based Mitigation of Availability Risks. BDIM 2007: 75-83

M. A. C. Dekker, J. G. Cederquist, Jason Crampton, Sandro Etalle: Extended privilege inheritance in RBAC. ASIACCS 2007: 383-385

Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough: An Introduction to the Role Based Trust Management Framework RT. FOSAD 2007: 246-281

Marcin Czenko, Sandro Etalle: Core TuLiP Logic Programming for Trust Management. ICLP 2007: 380-394

Damiano Bolzoni, Bruno Crispo, Sandro Etalle: ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems. LISA 2007: 141-152

Sandro Etalle, William H. Winsborough: A posteriori compliance control. SACMAT 2007: 11-20

M. A. C. Dekker, Sandro Etalle: Refinement for Administrative Policies. Secure Data Management 2007: 33-46

Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin: The Meaning of Logs. TrustBus 2007: 145-154

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)

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)

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)

Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon: POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. IWIA 2006: 144-156

Ricardo Corin, Sandro Etalle, Ari Saptawijaya: A Logic for Constraint-based Security Protocol Analysis. IEEE Symposium on Security and Privacy 2006: 155-168

Sandro Etalle, Miroslaw Truszczynski (Eds.): Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079, Springer 2006, isbn 3-540-36635-0

Damiano Bolzoni, Sandro Etalle: APHRODITE: an Anomaly-based Architecture for False Positive Reduction. CoRR abs/cs/0604026 (2006)

Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury: Preface. Electr. Notes Theor. Comput. Sci. 118: 1- (2005)

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)

Ricardo Corin, Jeroen Doumen, Sandro Etalle: Analysing Password Protocol Security Against Off-line Dictionary Attacks. Electr. Notes Theor. Comput. Sci. 121: 47-63 (2005)

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

Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis: Service Brokerage in Prolog. ICEIS (3) 2005: 409-412

Ricardo Corin, Ari Saptawijaya, Sandro Etalle: PS-LTL for Constraint-Based Security Protocol Analysis. ICLP 2005: 439-440

J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog: An Audit Logic for Accountability. POLICY 2005: 34-43

Sandro Etalle, William H. Winsborough: Integrity constraints in trust management. SACMAT 2005: 1-10

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

Sandro Etalle (Ed.): Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3573, Springer 2005, isbn 3-540-26655-0

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)

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols. CoRR abs/cs/0503036 (2005)

Sandro Etalle, William H. Winsborough: Integrity Constraints in Trust Management. CoRR abs/cs/0503061 (2005)

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)

Damiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel: Poseidon: a 2-tier Anomaly-based Intrusion Detection System. CoRR abs/cs/0511043 (2005)

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)

Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa: Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32

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

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic 2004: 90-114

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

Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel: A Trace Logic for Local Security Properties. CoRR cs.CR/0411010 (2004)

Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law: Approximating Fair Use in LicenseScript. ICADL 2003: 432-443

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-

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

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

Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel: Comparing Logic-Based and XML-Based Rights Expression Languages. OTM Workshops 2003: 779-792

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

Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of input-consuming derivations. TPLP 2(2): 125-154 (2002)

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On modular termination proofs of general logic programs. TPLP 2(3): 263-291 (2002)

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond 2002: 162-186

Ricardo Corin, Sandro Etalle: An Improved Constraint-Based System for the Verification of Security Protocols. SAS 2002: 326-341

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001)

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

Giorgio Delzanno, Sandro Etalle: Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR 2001: 76-90

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)

Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations. CoRR cs.PL/0101023 (2001)

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. CoRR cs.PL/0107014 (2001)

Annalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of well-moded input-consuming logic programs. Comput. Lang. 26(1): 1-25 (2000)

Annalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of Input-Consuming Logic Programs. Computational Logic 2000: 194-208

Sandro Etalle, Jon Mountjoy: The lazy functional side of logic programming. LOPSTR 2000

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On Modular Termination Proofs of General Logic Programs. CoRR cs.LO/0005018 (2000)

Sandro Etalle, Jon Mountjoy: The (Lazy) Functional Side of Logic Programming. CoRR cs.PL/0003070 (2000)

Sandro Etalle, Annalisa Bossi, Nicoletta Cocco: Termination of Well-Moded Programs. J. Log. Program. 38(2): 243-257 (1999)

Sandro Etalle, Maurizio Gabbrielli: Layered Modes. J. Log. Program. 39(1-3): 225-244 (1999)

Sandro Etalle, Pieter H. Hartel, Willem G. Vree: Declarative solutions to partitioned-grid problems. Softw., Pract. Exper. 29(13): 1173-1200 (1999)

Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations. Electr. Notes Theor. Comput. Sci. 30(1): 102-124 (1999)

Sandro Etalle, Jan-Georg Smaus: Preface - Workshop on Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): 125 (1999)

Marco Bertolino, Sandro Etalle, Catuscia Palamidessi: The Replacement Operation for CCP Programs. APPIA-GULP-PRODE 1999: 441-454

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

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs. LOPSTR 1999: 156-175

Marco Bertolino, Sandro Etalle, Catuscia Palamidessi: The Replacement Operation for CCP Programs. LOPSTR 1999: 216-233

Sandro Etalle, Maurizio Gabbrielli: Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. 30(3es): 11 (1998)

Sandro Etalle: A Semantics for Modular General Logic Programs. Theor. Comput. Sci. 206(1-2): 51-80 (1998)

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365

Sandro Etalle, Femke van Raamsdonk: Beyond Success and Failure. IJCSLP 1998: 190-205

Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori: A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM 1997: 137-150

Sandro Etalle, Maurizio Gabbrielli: On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming 1996(1) (1996)

Sandro Etalle: Unification-free Prolog programs revisited. J. Prog. Lang. 4(4): 187-210 (1996)

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Simultaneous Replacement in Normal Programs. J. Log. Comput. 6(1): 79-120 (1996)

Sandro Etalle, Maurizio Gabbrielli: Transformations of CLP Modules. Theor. Comput. Sci. 166(1&2): 101-146 (1996)

Sandro Etalle, Maurizio Gabbrielli: Layered Modes. APPIA-GULP-PRODE 1996: 41-52

Sandro Etalle, Frank Teusink: A Compositional Semantics for Normal Open Programs. JICSLP 1996: 468-482

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

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs: the Reordering Problem. LOPSTR 1995: 33-45

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

Annalisa Bossi, Sandro Etalle: Transforming Acyclic Programs. ACM Trans. Program. Lang. Syst. 16(4): 1081-1096 (1994)

Sandro Etalle, Maurizio Gabbrielli: Modular Transformations of CLP Programs. GULP-PRODE (1) 1994: 218-233

Annalisa Bossi, Sandro Etalle: More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META 1994: 311-331

Krzysztof R. Apt, Sandro Etalle: On the Unification Free Prolog Programs. MFCS 1993: 1-19

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transforming Normal Programs by Replacement. META 1992: 265-279

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: On Safe Folding. PLILP 1992: 172-186