PROGRAMME

SATURDAY April 5, 2003

10:00
Registration

10:30 - 10:50 Coffee

10:50
Welcome (R.Gorrieri)

11:00
Session I: Semantic techniques for Protocol Analysis
(Chair: J. Guttman)

• A Fault-Tree Representation of NPATRL Security Requirements
  I.Cervesato, C.Meadows
• A Decidable Subclass of Unbounded Security Protocols
  R.Ramanujam, S.P.Suresh
• Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis
  S.Bistarelli, I.Cervesato, G.Lenzini, F.Martinelli

12:30 - 14:00 Lunch

14:00
Session II: Protocol Verification
(Chair: G. Lowe)

• Verification of Copy-protection Cryptographic Protocols using Approximations of Term Rewriting Systems
  T.Genet, Y.T.Tang-Talpin, V.Viet Triem Tong
• Non Interference Proof Techniques for the Analysis of Cryptographic Protocols
  M.Bugliesi, A.Ceccato, S.Rossi
• Compositional Reasoning and Non Interference for Checking Integrity in Digital Stream Protocols
  F.Martinelli, M.Petrocchi, A.Vaccarelli
• Guess what? Here is a new Tool that Finds some new Guessing
  R.Corin, S.Malladi, J.Alves-Foss, S.Etalle

16:00 - 16:30 Coffee

16:30 Panel: security and dependability (P.Ryan organiser)

SUNDAY April 6, 2003

9:00

Session III: System Security
(Chair: R. Focardi)

• Using Data-Independence in the Analysis of Intrusion Detection Systems
  G.T.Rohrmair, G.Lowe
• Information Flow in Operating Systems: Eager Formal Methods
  J.D.Guttman, A.L.Herzog, J.D.Ramsdell
• Reputation-based Trust Management
  V.Shmatikov, C.Talcott

10:30 - 11:00 Coffee

11:00
Session IV: Information Flow and Confinement
(Chair: P. Ryan)

• Secure Contexts
  A.Bossi, D.Macedonio, C.Piazza, S.Rossi
• A Theorem Proving Approach to Analysis of Secure Information Flow
  A.Darvas, R.Haehnle, D.Sands
• Measuring the Confinement of Concurrent Probabilistic Systems
  A.Di Pierro, C.Hankin, H.Wiklicky

12:30 - 14:00 Lunch

14:00
Session V: Security Analysis
(Chair: J. Jurjens)

• An Enhanced CFA for Security Policies
  C.Bodei, P.Degano, C.Priami, N.Zannone
• A Computational Interpretation of Dolev-Yao Adversaries
  J.Herzog

16:00 - 16:30 Coffee

16:30 - 18:00 IFIP WG 1.7 business meeting

FURTHER INFORMATION

The official web page of the conference is at the url http://www.dsi.unive.it/IFIPWG1_7/wits2003.html

Contact person :

   Roberto Gorrieri