Call for Participation and Draft Program
MMM-ACNS-2003: The Second International Workshop
Mathematical Methods, Models and Architectures
for Computer Networks Security
September 20-24, 2003, St. Petersburg, Russia
Home page http://space.iias.spb.su/mmm-acns03/
************************************************************************
Important deadlines for registration:
-------------------------------------
Early registration before August 20, 2003
On site registration September 20, 2003
Hotel reservation request: before August 20, 2003
Sponsors
--------
1. European Office of Naval Research International Field Office, USA
2. European Office of Aerospace Research and Development, USA
3. Russian Foundation of Basic Research
4. 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
----------------
Nasir Memon. Assistant Professor, Polytechnic University Brooklyn, NY,
USA
ForNet: A Distributed Network Forensics System
Ravi Sandhu. Professor of Computer Science, George Mason University, USA
Usage Control: A vision for next generation access
control
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
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
Salvatore J. Stolfo. Professor of Computer Science, Department of
Computer Science Columbia University, USA
Behavior-based Computer Security
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
Draft of the Workshop Program
==============================
1. Mathematical models and architectures for security
------------------------------------------------------
Full Papers
Spyros Kokolakis, Costas Lambrinoudakis, Dimitris Gritzalis (Greece)
A Knowledge-based Repository Model for Security Policies
Management
Lazaros Gymnopoulos, Stelios Dritsas, Stefanos Gritzalis, and Costas
Lambrinoudakis (Greece)
GRID Security Review
Michael Smirnov (Germany)
Rule-based Systems Security Model
Peter Zegzhda, Dmitry Zegzhda, Maxim Kalinin (Russia)
Logical Resolving for Security Evaluation
Fabio Martinelli (Italy)
Symbolic Partial Model Checking for Security Analysis
Posters
Vladimir Marbukh, Sri Kumar (USA)
Game Theoretic Approach to Analysis and Design of
Survivable and Secure Systems and Protocols
Mitrou Lilian and Moulinos Konstantinos (Greece)
rivacy and Data Protection in Electronic Communications
S.Bistarelli, I.Cervesato, G.Lenzini, F.Martinelli (Italy)
Relating Process Algebras and Multiset Rewriting for
Security
Protocol Analysis
A.Grusho, E.Timonina (Russia)
Construction of the covert channels
2. Intrusion detection
-----------------------
Full Papers
John Bigham David Gamez Ning Lu (UK)
Safeguarding SCADA Systems with Anomaly Detection
Kyubum Wee, Byungeun Moon (Korea)
Automatic generation of finite state automata for detecting
intrusions using system call sequences
Igor Kotenko (Russia)
Experiments with simulation attacks against computer network
Salem Benferhat, Fabien Autrel, Frederic Cuppens (France)
Enhanced Correlation in an Intrusion Detection Process
Victor A. Skormin, Douglas H.Summerville, J. Moronski (USA)
Detecting Malicious Codes by the presence of their "Gene of
Self-Replication"
Posters
Franciskco J. Martin (USA) and Eric Plaza (Spain)
Alert Triage on the ROC
Tae-Shik Sohn and Jong-Sub Moon (Korea)
Support Vector Machine based ICMP Covert Channel Attack
Detection
Yuri Melnikov (Belgium), A.Tarakanov (Russia)
Immunocomputing Model of Intrusion Detection
S. Sokolova (Russia), R.Ivlev(Kazakhstan)
Computer Immunology System with Variable Configuration-1
Ruo Ando, Yoshiyasu Takefuji (Japan)
Two-stage quantitative network incident detection for the
adaptive coordination with SMTP proxy
3. Public key distribution, Authentication, Access control
----------------------------------------------------------
Full Papers
Dae Hyun Yum, Jae Eun Kang, and Pil Joong Lee (Korea)
Advanced Certificate Status Protocol
Ruben Wolf, Markus Schneider(Germany)
Context-dependent Access Control for Web-based
Collaboration Environments with Role-based Approach
Antonio Lain and Viacheslav Borisov(UK)
Key History Tree: efficient group key management with off-line members
Steve Barker (UK)
Distributed Access Control: A Logic-based Approach
Jose Munoz, Jordi Forne, Oscar Esparza, Miguel Soriano (Spain)
A Certificate Status Checking Protocol for the Authenticated Dictionary
Posters
Mohamed Al-Ibrahim (Kuwait) and Anton Cerny (Australia)
Authentication of Anycast Communication
Gustavo Santana, Leonid Sheremetov, Miguel Contreras (Mexico)
An Authentication Protocol for Agent Platform Security Manager
4. Cryptography
---------------
Full Papers
Alexander Rostovtsev and Elena Makhovenko (Russia)
Elliptic Curve Point Multiplication
Valery Korzhik, Viktor Yakovlev and Alexander Sinuk (Russia)
Achieveability of the Key-Capacity in a Scenario of Key
Sharing by Public Discussion and in the
Presence of Passive Eavesdropper
Nicolas Sklavos (Greece), Alexander Moldovyan (Russia), and O.
Koufopavlou1 (Greece)
Encryption and Data Dependent Permutations: Implementation
Cost and Performance Evaluation
P. Caballero-Gil and C. Hernandez-Goya (Spain)
A Zero-Knowledge Identification Scheme
Mohamed Al-Ibrahim (Kuwait)
A Signcryption Scheme based on Secret Sharing Technique
Nikolay Moldovyan (Russia)
On Cipher Design Based on Switchable Controlled Operations
Youngdai Ko, Deukjo Hong, Seokhie Hong, Sangjin Lee, Jongin Lim (Korea)
Linear Cryptanalysis on SPECTR-H64 with
Higher Order Differential Property
Posters
Hyun-Sung Kim (Korea)
Multiplier for Public-key Cryptosystem based on Cellular Automata
Nikolay Goots, Boris Izotov, Alexander Moldovyan, Nikolay Moldovyan
(Russia)
Fast Ciphers for Cheap Hardware: Differential Analysis of SPECTR-H64
5. Steganography
----------------
Full Papers
Zhang Kaiwen, Wang Shuozhong, and Zhang Xinpen (China)
Detection and Removal of Hidden Data in Images Embedded
with Quantization Index Modulation
V.Korzhik, G.Morales-Luna,I.Marakova, and C.Patiino-Ruvalcaba (Russia,
Mexico)
Digital Watermarking Under a Filtering and Additive Noise
Attack Condition
Xinpeng Zhang, Shuozhong Wang,and Kaiwen Zhang (China)
Steganographic Algorithm with Least Histogram Abnormality
Xinpeng Zhang, Shuozhong Wang,and Kaiwen Zhang (China)
Multi-bit Watermarking Scheme Based on Addition of Orthogonal Sequences
Vladimir Gorodetsky and Vladimir Samoilov (Russia)
Empirical Exploration of SVD-based Technique for Hidden
Communication by Image Steganography Channel
Shuozhong Wang, Xinpeng Zhang,and Kaiwen Zhang (China)
Data Hiding in Digital Audio by Frequency Domain Dithering
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 on or before August 20, 2003
On site registration September 20, 2003
Hotel reservation request on or before September 12,
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
Phone: +7-(812) 328-33-11 Fax: 7-(812) 328-44-50
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)
I. I.Podnozova, (SPIIRAS, St. Petersburg)
2. A.Tkatch (SPIIRAS, St. Petersburg, Vice Chairman)
3. A.Grigorieva (SPIIRAS, St. Petersburg)
4. D.Bakuradze (SPIIRAS, St. Petersburg)
5. A.Nikolaeva (SPIIRAS, St. Petersburg)
6. O.Karsaev (SPIIRAS, St. Petersburg)
7. V.Samoilov (SPIIRAS, St. Petersburg)
9. E.Man'kov (SPIIRAS, St. Petersburg)
8. V.Konushy (SPIIRAS, St. Petersburg)
9. A.Khabalov (SPIIRAS, St. Petersburg)
10. 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 Moldovian (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.
Registration fee and hotel accommodation may be paid together or
separately on the participant's choice.
All cancellations for participants without paper/poster presentation and
for accompany persons must be faxed and signed. Cancellation of
registration on or before August 15 will incur a fee of $15 (bank
service fee only). Cancellation of registration on or before September
10 will incur a fee 40%. No registration refunds will be made for
cancellations after September 10.
IMRORTANT NOTICE: Cancellations for authors of the papers to be
published in the Workshop Proceedings are available on or before June
27.
Accommodation
-------------
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:
1. 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:
1. full name of your employing company/university/etc
2. full business address of your employing company
3. your official position in the company
4. place of your birth (country, city, region, etc)
5. place of your permanent residency in your home country (country,
state/region, city)
6. location of the Russian Consulate General where you plan to apply for
the Russian visa
7. desirable date of you entry to Russia
8. name of the hotel, reserved in St. Petersburg for the duration of
your visit
9. 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