MMM-2003 - Call for Participation

Proceedings of the Workshop (LNCS, volume 2776) is now available online.

MMM-2003 - Call for Participation

Sponsors

European Office of Naval Research International Field Office, USA
European Office of Aerospace Research and Development, USA
Russian Foundation of Basic Research
Ministry of Industry, Technical policy and Science of Russian Federation

Organizers

St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS)
St. Petersburg Scientific Center of the Russian Academy of Sciences
Binghamton University (State University of New York)
European Office of Aerospace Research and Development
European Office of Naval Research International Field Office

Workshop scope

The problem of computer network and information security is a true challenge in the area of information and computer technologies that face a permanent growth in number, diversity and impacts of new types of threats to information and other computer network resources. While accounting for a critical role of information in modern societies, malefactors and terrorists can use attacks against computer networks and information security to achieve military, economical, political, and other goals. Assessment of the future trends in the development and realization of new threats to computer networks and information presents a difficult task, and it is equally difficult to anticipate the vulnerabilities of the software in the future. These and some other reasons enhance to the utmost the role of basic research and development in the area in question, particularly it regards new mathematical methods, models and architectures for computer network and information assurance.

The first International Workshop "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS-2001) organized in 2001 by St. Petersburg Institute for Informatics and Automation, Binghamton University and US Air Force Research Laboratory/Information Directorate and supported by the European Office of Aerospace Research and Development, Office of Naval Research International Field Office, and Russian Foundation of Basic Research was a success (http://space.iias.spb.su/mmm2001/main.jsp ). It demonstrated the keen interest of the international research community in the theoretical aspects of the computer network and information security and the need to conduct an on-going series of such workshops. The 2003 Workshop is intended as a next step in this series and will be focused on theoretical problems in the area under consideration. Its objective is to bring together leading researchers from academia and governmental organizations as well as practitioners in the area of computer networks and information security and facilitate personal interactions and discussions on various aspects of information technologies in conjunction with security problems arising in large-scale computer networks engaged in information storing, transmitting, and processing.

Keynote Speakers

Shiu-Kai Chin. Professor of Computer Science, Meredith Professor for Teaching Excellence, Center for Science and Technology, Syracuse University, NY, USA
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL (abstract)

Nasir Memon. Assistant Professor, Polytechnic University Brooklyn, NY, USA
ForNet: A Distributed Network Forensics System (abstract)

Ravi Sandhu. Professor of Computer Science, George Mason University, USA
Usage Control: A vision for next generation access control (abstract)

Anatol' O. Slissenko. Professor of Computer Science, LACL, University Paris 12, France and SPIIRAS, St. Petersburg, Russia
Complexity Problems in the Analysis of Information Systems Security (abstract)

Salvatore J. Stolfo. Professor of Computer Science, Department of Computer Science Columbia University, USA
Behavior-based Computer Security (abstract)

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
Real-Time Intrusion Detection with Emphasis on Insider Attacks (abstract)

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

Proceedings publication

Proceedings of the Workshop will be published by Springer Verlag Publishers in "Lecture Notes in Computer Science" series. The Proceedings will be issued to the Workshop date and included in the participant's kit.

Conference Languages

The working languages are English and Russian. Simultaneous translation will be provided.

Dates of the event

Inclusive dates:
September 20-24, 2003 (arrival and registration on September 20, technical program September 21-23, departure September 24)

Important Deadlines for registration:

Early registration before August 20, 2003

On site registration September 20, 2003

Hotel reservation request before August 20, 2003

All materials concerning MMM-ACNS-2003 preparation, program, and other arrangements are posted and will regularly be updated at web site http://space.iias.spb.su/mmm-acns03/

Organizing Committee

Chairmen

Professor Rafael M.Yusupov, Director of SPIIRAS
39, 14th Liniya, St.Petersburg, 199178, Russia
E-mail:spiiran@mail.iias.spb.su

Dr. Robert L. Herklotz, Program Manager: Software and Systems
Phone: +1-(703) 696-6565, Fax: +1-(703) 696-8450
Air Force Office of Scientific Research
4015 Wilson Blvd., Room 713, Arlington, VA 22203-1954
E-mail:robert.herklotz@afosr.af.mil

Contact person

Irina Podnozova
Phone: 7-(812)-328-44-46, Fax: +7(812)-328-06-85
E-mail:ipp@mail.iias.spb.su

Local Organizing Committee

Chairman

R.M. Yusupov, Director of the St. Petersburg Institute for Informatics and Automation (SPIIRAS)

Members

I.Podnozova, (SPIIRAS, St. Petersburg)

A.Tkatch (SPIIRAS, St. Petersburg, Vice Chairman)

A.Grigorieva (SPIIRAS, St. Petersburg)

D.Bakuradze (SPIIRAS, St. Petersburg)

A.Nikolaeva (SPIIRAS, St. Petersburg)

O.Karsaev (SPIIRAS, St. Petersburg)

V.Samoilov (SPIIRAS, St. Petersburg)

E.Man'kov (SPIIRAS, St. Petersburg)

V.Konushy (SPIIRAS, St. Petersburg)

A.Khabalov (SPIIRAS, St. Petersburg)

A.Pasmurov (RESTEK, St. Petersburg)

International Program Committee

Chairmen:

V.Gorodetsky (SPIIRAS, Russia)
L.Popyack (AFRL/IF, USA)
V.Skormin (Binghamton University, USA)

Members:

Kurt Bauknecht (Switzerland)
John Bigham (UK)
Wes Carter (UK)
Riccardo Focardi (Italy)
Dipankar Dasgupta (USA)
Alexey Galatenko (Russia)
Dimitris Gritzalis (Greece)
Alexander Grusho (Russia)
Yury Karpov (Russia)
Valery Korzhik (Russia)
Igor Kotenko (Russia)
Catherine Meadows (USA)
Bret Michael (USA)
Ann Miller (USA)
Nikolay Moldovyan (Russia)
Ravi Sandhu (USA)
Michael Smirnov (Germany)
Igor Sokolov (Russia)
Salvatore Stolfo (USA)
Alfonso Valdes (USA)
Vijay Varadharajaran (Australia)
Nikoly Zagoruiko (Russia)
Piotr Zegzhda (Russia)

Registration

All participants of the Workshop must register. Registration form can be downloaded from the Workshop web site at http://space.iias.spb.su/mmm-acns03/regform.jsp

Registration fee covers: invitation, three days of the workshop, including two coffee-breaks and one lunch daily, participant's kit, one copy of the workshop proceedings, welcome reception, workshop dinner, transportation from and to airport upon arrival and departure, and one city tour.

Registration fee for accompanying person(s) covers invitation, lunch daily, welcome reception, workshop dinner, transportation from and to airport upon arrival and departure, one city tour.

IMRORTANT NOTICE: Cancellations for authors of the papers to be published in the Workshop Proceedings are available on or before June 27.

Accomodation

The Conference agency, Monomax Ltd, provides assistance with the hotel reservations (http://www.monomax.org). The conference hotel is Hotel “Oktiabrskaya” ***. Upon an individual request reservations in other hotels of St. Petersburg could also be provided.

To avoid problems with reservation you are requested to fax hotel reservation form (download from http://space.iias.spb.su/mmm-acns03/hotel.jsp) to +7-812-324-7322 as soon as possible.

Deadline for hotel reservations is September 12, 2003. After this date requests for hotel accommodation are accepted with no guarantee.

Deadline for cancellation is September 16, 2003. In case of late cancellation or no show the charge of one night’s accommodation is to be paid.

Registration fee and hotel accommodation may be paid together or separately on the participant's choice.

You can also reserve the hotel through your local travel agency. Please, we aware that hotel reservation form contains prices provided by Monomax Ltd. company. The prices for direct reservations are as a rule (30-40)% higher.

Visa application (http://space.iias.spb.su/mmm-acns03/Visaform.jsp)

To come to Russia you will need to receive an entering visa. St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS) as a hosting institution will provide for an official invitation to be used by you in the visa application procedure in your home country.

Will you please send us and the sooner the better, since invitation processing formalities may take up to four weeks, some data and copies of the documents officially required for the above invitation issuance in St. Petersburg:

Please fax to +7(812)328-0685 or +7(812)328-4450 or e-mail at: ipp@iias.spb.su a copy of your passport valid at least for six months after the end of your planned visit to Russia. Please also check that you send to us copies of one or several passport pages where the following data are clearly read: country of your passport origin, citizenship, surname, given names, date of birth, passport number, passport issuance and expiration dates, issuing authority

Additionally to the passport image we need:

full name of your employing company/university/etc
full business address of your employing company
your official position in the company
place of your birth (country, city, region, etc)
place of your permanent residency in your home country (country, state/region, city)
location of the Russian Consulate General where you plan to apply for the Russian visa
desirable date of you entry to Russia
name of the hotel, reserved in St. Petersburg for the duration of your visit
cities in Russia (3 cities additionally to St. Petersburg and Moscow) you may plan to visit

Workshop venue

MMM-ACNS-2003 will take place in the historical building "Palace of Grand Prince Vladimir Romanov", now "House of Scientists", located in the heart of St. Petersburg, at the address: 26, Dvortsovaya emb. St.Petersburg, 191186, Russia (http://space.iias.spb.su/mmm-acns03/venue.jsp).

This venue allows the conference organizers to arrange for the workshop itself as well as for the associated events (informal discussions, reception, breaks, etc.).

Transfer

All participants are expected to arrive to St. Petersburg directly. Workshop organizers intend to arrange for transportation upon arrival and departure to/from workshop venue/other hotel upon separate requests. The following assistance in housing could be provided for by local organizers.

International Air Travel

St. Petersburg is connected by direct flights with the main European capitals. The main European air companies fly to St. Petersburg, in particular, Lufthansa, Scandinavian Airlines, KLM, Air France, Finnair, British Airways, Malev, LOT, CSA, Pulkovo and Austrian Airlines. The passengers flying from Far East (Japan, Korea, China, etc.) can reach St. Petersburg by use of connection flight in Moscow or in a European capital. Lufthanza (from Frankfurt) and Finnair (from Helsinki) are very recommended since they have several flights every day.

St. Petersburg international airport "Pulkovo-2" is located close to the city metro (15 minutes by public shuttle bus #13 to the metro station 'Moskovskaya"). Direct metro line connects metro station "Moskovskaya" with the downtown of St. Petersburg where the recommended hotels are located.

Each participant will be met in the airport and transferred to the hotel. Please indicate your flight number, air company and date and time of your arrival in the St. Petersburg International Airport "Pulkovo-2".

Cultural Program

St. Petersburg is the cultural capital of Russia. We are pleased to offer you private tours with your own family or friends, the convenience of sightseeing at your own pace, and the flexibility of a selecting a tour with your own interests in mind. Having your own personal English-speaking guide along with a driver makes all of this possible.

Workshop organizers offer to you one 2,5 hours city tour which price is included in registration fee (on September 20 at about 18:00 and on September 22 at about 14:00).

Additional program will be offered by Monomax Ltd. Company. You can order sightseeing or tours according to your personal interests and preferences via e-mail vipservice@monomax.org or make decision on site. The respective information will soon be posted at http://space.iias.spb.su/mmm-acns03/cultprog.jsp.

Further Information

Further information is available at the Workshop web site http://space.iias.spb.su/mmm-acns03/ which will be updated on regular basis.

Any questions can be addressed to
Professor Vladimir Gorodetski (MMM-ACNS-2003 PC Co-chairman)
Department of Intelligent Systems
St. Petersburg Institute for Informatics and Automation
of the Russian Academy of Sciences
39, 14th Liniya, St. Petersburg, 199178,
Russia
Telephone +7-(812)-323-3570
Fax: +7-(812)-328-0685
E-mail:gor@mail.iias.spb.su
http://space.iias.spb.su/ai/gorodetski/gorodetski.jsp