Saturday, November 4, 2000

9:00 - 9:15	Opening remarks (General Chair and Program Chair)
9:15 - 10:30	Keynote Address: "The Security Practice for Internet Payments: Lessons Learned" by Dr. Ravi Ganesan, CheckFree Corp.
10:30 - 11:00	Break and refreshments
11:00 - 12:30	Case Studies and Policy "Security Testing of the Online Banking Service of a Large Intl Bank", A. Dos Santos, G. Vigna, and R.A. Kemmerer "A Sample Security Risk Analysis", B. Arkin "Problems in Policing E-Commerce Crime", M.D. Goodman "Strategies for Developing Policies and Requirements for Secure Electronic Commerce Systems" A.I. Anton and J.B. Earp
12:30 - 13:30	Lunch
13:30 - 15:30	Online Commerce Systems "A Multi-Agent System for Secure Online Shopping", C-Y Seng and K-Y Lam "Versatile Anonymous, Fair and Off-line Hybrid Payment System", A.M. Wibowo, K-Y Lam, and G.S.H. Tan "Cryptographic Libraries as a Means to Support Privacy-Enhanced Information Systems", K. Moulinos and D. Gritzalis "New Security Issues in Mobile E-Commerce", A.K. Ghosh
15:30 - 16:00	Break and refreshment
16:00 - 18:00	Formal Models "Protocols for Secure Remote Database Access with Approximate Matching", W. Du and M. Atallah "A Framework for Information Flow Security in Computer Supported Group Communications", M. Eltoweissy, J. Bansemer, and J. McDermott "A New Approach to Reasoning about Accountabilities in Cryptographic Protocols for E-Commerce", H. Wang, V. Varadharajan, and Y. Zhang "Provisional Authorizations", S. Jajodia, M. Kudo, and V.S. Subrahmanian
18:00	Workshop Conclusion

Program subject to change.