The Cover Project Local Home Page

Publications and Technical Reports

Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs, S. Bistarelli, F. Rossi, I. Pilan, "Recent Advances in Constraints", Proc. Joint workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Selected Papers. Springer Lecture Notes in Artificial Intelligence, Vol.??, 2003.
Modelling and Detecting the Cascade Vulnerabiliy Problem using Soft Constraints, S. Bistarelli, S.N.Foley, B. O'Sullivan, in Proc. ACM Symposium on Applied Computing (SAC 2004), MArch 14-17, 2004, Nicosia, Cyprus. ACM Press New York, NY, USA
"© ACM, YYYY. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 19th symposium on Proceedings of the 2004 ACM symposium on applied computing, {(March 2004)} ..."
A Constraint-based Framework for the Cascade Vulnerability Problem, S. Bistarelli, S.N.Foley, B. O'Sullivan, in Proc. ICLP2003 Workshop on Constraint and Logic Programming in Security (COLOPS2003), 9 December, Tata Institute of Fundamental Research (TIFR), Mumbay, India.
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols, S. Bistarelli, I. cervesato, G. Lenzini, F. martinelli, Proc. Second International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security - MMM'03, (V.I. Gorodetski, V.A. Skormin and L.J. Popyack, editors), pp. 88-101, Springer-Verlag LNAI 2776, St. Petersburg, Russia, 20-24 September 2003.
A Constraint Based Framework for Dependability Goals: Integrity, Stefano Bistarelli and Simon N Foley, SAFECOMP2003 Proceedings Springer LNCS vol. ???.
Analysis of Integrity Policies using Soft Constraints, Stefano Bistarelli and Simon N Foley, Proc. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (POLICY2003), Lake Como,Italy, June 4-6, 2003.
Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis, S. Bistarelli, I. Cervesato, G. Lenzini, F. Martinelli, Proc. Workshop on Issues in the Theory of Security (WITS'03), April 5 - 6, 2003, Warsaw, Poland