Sunday, May 20

15:00 – 20:00Registration in the Workshop venue (26, Dvortsovaya emb., "House of Scientists")

18:00 – 20:00 City Tour(The bus departs from the Workshop venue)

Monday, May 21

9:00 – 10:00 Registration

10:00 – 10:30

Opening Session

Chair R. Yusupov

10:30 – 11:00 Coffee break

Session 1. Mathematical Methods, Models for Computer Networks and Systems Security

11:00 – 12:00 Session 1.1. Plenary Session

Chair V.Gorodetski (Russia)

Invited Talk: V.Varadharajan (Australia). Secure Networked Computing.

12:00–13:30 Session 1.2. Regular Presentations

Chair V.Varadharajan (Australia)

12:00–12:30 J.Jьrjens (UK). Composability of Secrecy.

12:30–13:00 O.Karsaev, I.Kotenko, V.Gorodetski, A.Khabalov (Russia), L.Popyack, and V.Skormin (USA). Agent–based model of Network Security System: A Case Study.

13:00–13:30 M.Smirnow (Germany). Security considerations and Models for Service Creation in Premium IP Networks.

13:30–14:30 Lunch

14:30–16:30 Session 1.3. Regular Presentations

Chair D.Gritzalis (Greece)

14:30–15:00 K.Knorr and H.Weidner (Switzerland). Analyzing Separation of Duties in Petry Net Workflow.

15:00–15:30 D.Gritzalis, K.Moulinos, and K.Kostis (Greece). A privacy–enhancing e–business model based on infomediaries.

15:30–16:00 A.Kostogryzov (Russia). Modeling Software Tools Complex for Evaluation of Information Systems Operation Quality (CEISOQ).

16:00–16:30 C. Heitmeyer (USA). Applying Practical Formal Methods to the Specification and Analysis of Security Properties.

16:30–17:00 P.Zegzhda and D.Zegzhda (Russia). Secure Systems Design Technology.

17:00–17:30 Coffee break

17:30–18:45 Panel Discussion 1

What are the important open problems in computer security and how can mathematical methods and models contribute?

Chair C.Meadows (USA)

D.Dasgupta (USA), A.Grusho (Russia), V.Gorodetski (Russia), C.Heitmeyer (USA), R.Sandhu (USA), V.Varadharajan (Australia).

19:00–21:00 Welcome reception (In the Workshop venue)

Tuesday, May 22

Session 2. Access Control, Authentication and Authorization

10:00–11:00 Session 2.1. Plenary Session

Chair V.Skormin (USA)

Invited Talk: Ravi Sandhu (USA). Future Directions in Role–Based Access Control Models.

11:00–11:30 Coffee break

11:30–13:30 Session 2.2. Regular Presentations

Chair C.Meadows (USA)

11:30–12:00 S.Barker (UK). TRBACN: A Temporal Authorization Method.

12:00–12:30 I.Cervesato (USA). Typed MSR: Syntax and Examples.

12:30–13:00 T.Ryutov and C.Neuman (USA). The Set and Function Approach to Modeling Authorization in Distributed Systems.

13:00–13:30 D.Zegzhda, P.Stepanov, and A.Otavin (Russia). Fenix Secure Operating System Model and Architecture.

13:30–14:30 Lunch

Session 3. Mathematical Basis of Cryptographic Protocols and Steganography

14:30–16:30 Session 3.1. Plenary Session

Chair P.Zegzhda (Russia)

Invited Talks:

14:30–15:30 C.Meadows (USA). Open Issues in Formal Methods for Cryptographic Protocol Analysis.

15:30–16:30 A.Grusho (Russia). Mathematical Models for Covert Channels.

16:30–17:00 Coffee break

17:00–19:00 City tour (The bus departs from the Workshop venue)

17:00–19:30 Session 3.2. Regular Presentations

Chair A.Grusho (Russia)

17:00–17:30 V.Gorodetski, V.Samoilov (Russia), L.Popyack, and V.Skormin (USA). SVD–based Approach to Transparent Embedding Data into Digital Images.

17:30–18:00 V.Korjik (Mexico) and K. Morozov (Russia). Generalized Oblivious Transfer Protocols Based on Noisy Channels.

18:00–18:30 V.Yakovlev (Russia), V.Korjik (Mexico), and A.Sinuk (Russia). Key Distribution Protocol Based on Noisy Channel and Error Detecting Codes.

18:30–19:00 B.Izotov, A.Moldovyan, and N.Moldovyan (Russia). Controlled Operations as a Cryptographic Primitive.

19:00–19:30 G.Chaddoud, I.Chrisment, and A.Schaff (France). Dynamic Group Key Management Protocol.

Wednesday, May 23

Session 4. Methods and Models for Intrusion Detection

10:00–11:00 Session 4.1. Plenary Session

Chair R.Sandhu (USA)

Invited Talk: D. Dasgupta and F. Gonzalez (USA). An Intelligent Decision Support System for Intrusion Detection and Response.

11:00–11:30 Coffee break

11:30–13:30 Session 4.2. Regular Presentations

Chair D.Dasgupta (USA)

11:30–12:00 A.Tarakanov (Russia). Information Security with Formal Immune Networks.

12:00–12:30 V.Skormin, J. Delgado–Frias, D.McGee, J.Giordano, L.Popyack (USA), V.Gorodetski, and A.Tarakanov (Russia). BASIS: Biological Approach to System Information Security.

12:30–13:00 A.Seleznev (Finland). A Methodology to Detect Analyzes in User Behavior Basing on its Temporal Regularities.

13:00–13:30 H.Singh (UK). Investigating and Evaluating Behavioral Profiling and Intrusion Detection Using Data Mining.

13:30–14:30 Lunch

Session 5. Applied Cryptographic Systems

14:30–16:00 Regular Presentations

Chair L.Popyack (USA)

14:30–15:00 N.Goots, A. Moldovyan, and N.Moldovyan (Russia). Fast Encryption Algorithm SPECTR–64.

15:00–15:30 A.Durante. R.Focardi, and R.Gorrieri (Italy). CVS at Work: A Report on New Failures upon some Cryptographic Protocol.

15:30–16:00 S.Kavut and M.D.Yьcel (Turkey). On some Cryptograph Properties of Rijndael.

16:00–16:30 Coffee break

16:30–17:30 Panel Discussion 2.

Security Research and Education in Academia

Chair: D.Dasgupta (USA)

A.Grusho (Russia), R.Sandhu (USA), V.Varadharajan (Australia), P.Zeghda (Russia).

17:30–18:00

Closing session.

Chair R. Yusupov

18:30–22:00 Workshop dinner (In the Workshop venue)

Thursday, May 24. Departure day