|
September 21, Sunday
|
| 9:30–10.00
|
Opening session
|
|
Plenary session 1 Chairman: V.Gorodetsky
|
| 10:00–10:50
|
Invited talk
Complexity Problems in the Analysis of Information Systems Security
Anatol' O. Slissenko, Professor of Computer Science, LACL, University Paris 12,
France and SPIIRAS, St. Petersburg, Russia
|
| 10:50–11:10
|
Coffee break
|
| 11:10–12:00
|
Invited Talk
Implementing a Calculus for Distributed Access Control in Higher Order Logic
and HOL
Shiu-Kai Chin, Professor of Computer Science, Meredith Professor for Teaching
Excellence, Center for Science and Technology, Syracuse University, NY, USA
|
|
Session 1.1. Mathematical models and architectures for security. Chairman:
Shiu-Kai Chin
|
| 12:00–12:20
|
A Knowledge-based Repository Model for Security
Policies Management
Spyros Kokolakis, Costas Lambrinoudakis, and Dimitris Gritzalis (Greece)
|
| 12:20–12:40
|
GRID Security Review
Lazaros Gymnopoulos, Stelios Dritsas, Stefanos Gritzalis, and Costas
Lambrinoudakis (Greece)
|
| 12:40–13:00
|
Rule-based Systems Security Model
Michael Smirnov (Germany)
|
| 13:00–14:00
|
Lunch
|
|
Session 1.2. Mathematical models and architectures for security Chairman:
A.Slissenko
|
| 14:00–14:20
|
Logical Resolving for Security Evaluation
Peter Zegzhda, Dmitry Zegzhda, and Maxim Kalinin (Russia)
|
| 14:20–14:40
|
Symbolic Partial Model Checking for Security Analysis
Fabio Martinelli (Italy)
|
| 14:40–15:00
|
Relating Process Algebras and Multiset Rewriting for
Security Protocol Analysis
Stefano Bistarelli (Italy), Iliano Cervesato (USA), Gabriele Lenzini, and Fabio Martinelli
(Italy)
|
| 15:00–15:10
|
Game Theoretic Approach to Analysis and Design of
Survivable and Secure Systems and Protocols
Vladimir Marbukh and Sri Kumar (USA)
|
| 15:10–15:20
|
Privacy and Data Protection in Electronic
Communications
Lilian Mitrou and Konstantinos Moulinos (Greece)
|
| 15:20–15:30
|
Construction of the covert channels
Alexandre Grusho and ElenaTimonina (Russia)
|
| 15:30–15:50
|
Coffee break
|
|
Plenary session 2 Chairman: P.Zegzhda
|
| 15:50–16:40
|
Invited Talk
Usage Control: A vision for next generation access control
Ravi Sandhu. Professor of Computer Science, George Mason University, USA
|
|
Session 2. Public key distribution, Authentication, Access control. Chairman:
R.Sandhu
|
| 16:40–17:00
|
Advanced Certificate Status Protocol
Dae Hyun Yum, Jae Eun Kang, and Pil Joong Lee (Korea)
|
| 17:00–17:20
|
Context-dependent Access Control for Web-based
Collaboration Environments with Role-based Approach
Ruben Wolf and Markus Schneider (Germany)
|
| 17:20–17:40
|
Key History Tree: Efficient group key management with
off-line members.
Antonio Lain and Viacheslav Borisov (UK)
|
| 17:40–18:00
|
Distributed Access Control: A Logic-based Approach
Steve Barker (UK)
|
| 18:00–18:20
|
A Certificate Status Checking Protocol for the
Authenticated Dictionary
Jose Munoz, Jordi Forne, Oscar Esparza and Miguel Soriano (Spain)
|
| 18:20–18:30
|
Authentication of Anycast Communication
Mohamed Al-Ibrahim (Kuwait) and Anton Cerny (Australia)
|
| 18:30–18:40
|
An Authentication Protocol for Agent Platform
Security Manager
Gustavo Santana (Mexico), Leonid Sheremetov (Russia), and Miguel Contreras
(Mexico)
|
| 19:00–21:00
|
Welcome reception
|
|
September 22, Monday
|
|
Plenary session 3 Chairman N.Memon
|
| 9:00–9:50
|
Invited talk
Behavior-based Computer Security
Salvatore J. Stolfo. Professor of Computer Science, Department of Computer
Science Columbia University, USA
|
| 9:50–10:40
|
Invited Talk
Real-Time Intrusion Detection with Emphasis on Insider Attacks
Shambhu Upadhyaya. Associate Professor of Computer Science and Engineering and
Director, Center of Excellence in Information Systems Assurance Research and
Education, University at Buffalo, NY, USA
|
| 10:40–11:00
|
Coffee beak
|
|
Session 3.1. Intrusion detection. Chairman: S.Stolfo
|
| 11:00–11:20
|
Safeguarding SCADA Systems with Anomaly Detection
John Bigham, David Gamez, and Ning Lu (UK)
|
| 11:20–11:40
|
Automatic generation of finite state automata for
detecting intrusions using system call sequences
Kyubum Wee and Byungeun Moon (Korea)
|
| 11:40–12:00
|
Attack Simulator: Experiments with simulation of
attacks against computer networks
Igor Kotenko and E. Man'kov (Russia)
|
| 12:00–12:20
|
Enhanced Correlation in an Intrusion Detection
Process
Salem Benferhat, Fabien Autrel, Frederic Cuppens (France)
|
| 12:20–12:40
|
Detecting Malicious Codes by the presence of their
"Gene of Self-Replication"
Victor A. Skormin, Douglas H. Summerville and J. Moronski (USA)
|
| 13:00–14:00
|
Lunch
|
|
Plenary session 4 Chairman: S.Upadhyaya
|
| 14:00–14:50
|
Invited talk
ForNet: A Distributed Network Forensics System
Nasir Memon. Assistant Professor, Polytechnic University Brooklyn, NY, USA
|
|
Session 3.2. Intrusion detection. Chairman: V.Skormin
|
| 14:50–15:00
|
Alert Triage on the ROC
Franciskco J. Martin (USA) and Eric Plaza (Spain)
|
| 15:00–15:10
|
Support Vector Machine based ICMP Covert Channel
Attack Detection
Tae-Shik Sohn and Jong-Sub Moon (Korea)
|
| 15:10–15:20
|
20 Immunocomputing Model of Intrusion Detection
Yuri Melnikov (Belgium) and A.Tarakanov (Russia)
|
| 15:20–15:30
|
Computer Immunology System with Variable
Configuration
S. Sokolova (Russia) and R.Ivlev (Kazakhstan)
|
| 15:30–15:50
|
Two-stage quantitative network incident detection for
the adaptive coordination with SMTP proxy
Ruo Ando and Yoshiyasu Takefuji (Japan)
|
| 15:50–16:10
|
Coffee break
|
| 16:00–19:00
|
City tour
|
| 19:30–22:30
|
Workshop dinner
|
|
September 23, Tuesday
|
|
Session 4.1. Cryptography Chairman: N.Moldavian
|
| 9:00–9:20
|
Elliptic Curve Point Multiplication
Alexandre Rostovtsev and Elena Makhovenko (Russia)
|
| 9:20–9:40
|
Achieveability of the Key-Capacity in a Scenario of
Key Sharing by Public Discussion and in the Presence of Passive Eavesdropper
Valery Korzhik, Viktor Yakovlev and Alexander Sinuk (Russia)
|
|
9:40–10:00
|
Encryption and Data Dependent Permutations:
Implementation Cost and Performance Evaluation
Nicolas Sklavos (Greece), Alexander Moldovyan (Russia), and O. Koufopavlou1
(Greece)
|
| 10:00–10:20
|
A Zero-Knowledge Identification Scheme
P. Caballero-Gil and C.Hernandez-Goya (Spain)
|
| 10:20–10:40
|
A Signcryption Scheme based on Secret Sharing
Technique
Mohamed Al-Ibrahim (Kuwait)
|
| 10:40–11:00
|
Coffee break
|
|
Session 4.2. Cryptography. Chairman: V.Yakovlev
|
| 11:00–11:20
|
On Cipher Design Based on Switchable Controlled
Operations
Nikolay Moldovyan (Russia)
|
| 11:20–11:40
|
Linear Cryptanalysis on SPECTR-H64 with Higher Order
Differential Property
Youngdai Ko, Deukjo Hong, Seokhie Hong, Sangjin Lee and Jongin Lim (Korea)
|
| 11:40–11:50
|
Multiplier for Public-key Cryptosystem based on
Cellular Automata
Hyun-Sung Kim (Korea)
|
| 11:50–12:00
|
Fast Ciphers for Cheap Hardware: Differential
Analysis of SPECTR-H64
Nikolay Goots, Boris Izotov , Alexander Moldovyan. And Nikolay Moldovyan
(Russia)
|
| 12:00–13:00
|
Panel discussion. Challenges in Intrusion Detection.
Panelists: TBA
|
| 13:00–14:00
|
Lunch
|
|
Session 5. Steganography. Chairman: A.Grusho
|
| 14:00–14:20
|
20 Detection and Removal of Hidden Data in Images
Embedded with Quantization Index Modulation
Kaiwen Zhang, Shuozhong Wang, and Xinpen Zhang (China)
|
| 14:20–14:40
|
Digital Watermarking Under a Filtering and Additive
Noise Attack Condition
V.Korzhik, G.Morales-Luna, I.Marakova, and C.Patiino-Ruvalcaba (Russia, Mexico)
|
| 14:40–15:00
|
Steganographic Algorithm with Least Histogram
Abnormality
Xinpen Zhang, Shuozhong Wang, and Kaiwen Zhang (China)
|
| 15:00–15:20
|
Multi-bit Watermarking Scheme Based on Addition of
Orthogonal Sequences
Xinpen Zhang, Shuozhong Wang, and Kaiwen Zhang (China)
|
| 15:20–15:40
|
Empirical Exploration of SVD-based Technique for
Hidden Communication by Image Steganography Channel
V.Gorodetsky and V.Samoilov (Russia)
|
| 15:40–16:00
|
Data Hiding in Digital Audio by Frequency Domain
Dithering
Shuozhong Wang, Xinpen Zhang, and Kaiwen Zhang (China)
|
| 16:00–16:30
|
Coffee break
|
| 16:30–17:00
|
Closing session
|
