![]() | ![]() |
| 2012 | ||
|---|---|---|
| 113 | Emmanuele Zambon, Sandro Etalle, Roel Wieringa: A2thOS: availability analysis and optimisation in SLAs. Int. Journal of Network Management 22(2): 104-130 (2012) | |
| 2011 | ||
| 112 | Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman: Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Springer 2011 | |
| 111 | Daniel Trivellato, Nicola Zannone, Sandro Etalle: Poster: protecting information in systems of systems. ACM Conference on Computer and Communications Security 2011: 865-868 | |
| 110 | Andrea Herrmann, Ayse Morali, Sandro Etalle, Roel Wieringa: Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. BIR Workshops 2011: 64-76 | |
| 109 | Daniel Trivellato, Nicola Zannone, Sandro Etalle: A Security Framework for Systems of Systems. POLICY 2011: 182-183 | |
| 108 | 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) | |
| 107 | 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) | |
| 2010 | ||
| 106 | Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel Wieringa: CRAC: Confidentiality risk assessment and IT-infrastructure comparison. CNSM 2010: 322-325 | |
| 105 | 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 | |
| 104 | Nicola Zannone, Milan Petkovic, Sandro Etalle: Towards Data Protection Compliance. SECRYPT 2010: 213-216 | |
| 103 | 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) | |
| 2009 | ||
| 102 | 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 | |
| 101 | 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 | |
| 100 | Marcin Czenko, Sandro Etalle: LP with Flexible Grouping and Aggregates Using Modes. LOPSTR 2009: 67-81 | |
| 99 | Daniel Trivellato, Fred Spiessens, Nicola Zannone, Sandro Etalle: POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy. POLICY 2009: 110-113 | |
| 98 | Damiano Bolzoni, Sandro Etalle, Pieter H. Hartel: Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. RAID 2009: 1-20 | |
| 97 | Sandro Etalle, William H. Winsborough: Maintaining control while delegating trust: Integrity constraints in trust management. ACM Trans. Inf. Syst. Secur. 13(1): (2009) | |
| 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 | Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations. Electr. Notes Theor. Comput. Sci. 30(1): 102-124 (1999) | |
| 24 | Sandro Etalle, Jan-Georg Smaus: Preface - Workshop on Verification of Logic Programs. Electr. Notes Theor. Comput. Sci. 30(1): 125 (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 | |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page