Workshop is successfully completed.
Call for participation


Call for participation

MMM-ACNS-05:
The Third International Workshop
"Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS-05)

September 24-28, 2005, St. Petersburg, Russia

Home page http://space.iias.spb.su/mmm-acns05/

Sponsors
1. Office of Naval Research Global, USA
2. European Office of Aerospace Research and Development, USA


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)


1. Important dates

Inclusive dates of meeting:
September 24-28, 2005 (arrival - on September 24, technical program - September 25-27, departure - on September 28)
Registration:
Early registration deadline August 15, 2005
On site registration September 24-28, 2005
Hotel reservation request August 15, 2005

2. The Workshop Program

Saturday, September 24
16:00-19:00 Registration
Sunday, September 25
9:30-10.00 Opening Session
Plenary session 1
Chairman: V.Skormin
10:00-10:50 Invited Talk
Rule-Based Topological Vulnerability Analysis
Sushil Jajodia, Professor of Information Technology and the director of Center for Secure Information Systems at the George Mason University, USA
10:50-11:10 Coffee break
Plenary session 2
Chairman: I. Kotenko
11:10-12:00 Invited talk
Critical Information Assurance Issues and Directions for Modern Large-Scale Infrastructures
Ming-Yuh Huang, The Boeing Company, USA
Session 1.1. Mathematical models, Architectures and Protocols for Security
Chairman: M. Smirnov
12:00-12:25 Calibrating Entropy Functions Applied to Computer Networks
Duncan A. Buell (USA)
12:25-12:50 A Passive External Web Surveillance Technique for Private Networks
Constantine Daicos, Scott Knight (Canada)
13:00-14:20 Lunch
Session 1.2. Mathematical models, Architectures and Protocols for Security
Chairman: M.-Y. Huang
14:35-15:00 An ontology-based approach to information systems security management
Bill Tsoumas, Stelios Dritsas, Dimitris Gritzalis (Greece)
15:00-15:25 Trust by Workflow in Autonomic Communication
Mikhail Smirnov (Germany)
15:25-15:50 Networks, Markov Lie Monoids, and Generalized Entropy
Joseph E. Johnson (USA)
15:50-16:00 A New Scheme for the Location Information Protection in Mobile Communication Environments
Soon Seok Kim, Sang Soo Yeo, Hong Jin Park, Sung Kwon Kim (Korea)
16:00-16:10 Region Protection/Restoration Scheme in Survivable Networks
Wojciech Molisz, Jacek Rak (Poland)
16:10-16:40 Coffee break
Session 2. Information flow analysis, Covert channels and Trust management
Chairman: A. Miller
16:40-17:05 A Probabilistic Property-Specific Approach to Information Flow
Daniele Beauquier, Marie Duflot, Marius Minea (France)
17:05-17:30 Generalized Abstract Non-Interference - Abstract Secure Information- flow Analysis for Automata
Roberto Giacobazzi, Isabella Mastroeni (Italy)
17:30-17:55 Detection of Illegal Information Flow
Alexander Grusho, Alexander Kniazev, Elena Timonina (Russia)
17:55-18:20 Towards More Controllable and Practical Delegation
Gang Yin, Huai-min Wang (China)
18:20-18:30 Statistical Covert Channels through PROXY Server
Alexei Galatenko, Alexander Grusho, Alexander Kniazev, Elena Timonina (Russia)
19:00-21:00 Welcome reception
Monday, September 26
Plenary session 3
Chairman: S.-K. Chin
9:00-9:50 Invited Talk
Models and Analysis of Active Worm Defense
David Nicol, Prof. of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Coordinated Science Laboratory, USA
Plenary session 4
Chairman: A. Grusho
9:50-10:40 Invited talk
Self-Managed Cells for Ubiquitous Systems
Naranker Dulay. Ph.D., Department of Computing, Imperial College London, UK
10:40-11:00 Coffee break
Session 3. Threat modeling, Vulnerability assessment, and Network forensics
Chairman: D. Nicol
11:00-11:25 A Theoretical Model for the Average Impact of Attacks on Billing Infrastructures
F.Baiardi, C.Telmon (Italy)
11:25-11:50 Analyzing Vulnerabilities and Measuring Security Level at Design and Exploitation Stages of Computer Network Life Cycle
Igor Kotenko, Michail Stepashkin (Russia)
11:50-12:15 A Temporal Logic-based Model for Forensic Investigation in Networked System Security
Slim Rekhis and Noureddine Boudriga (Tunisia)
12:15-12:40 Vulnerabilities Detection in the Configurations of MS Windows Operating System
Peter D. Zegzhda, Dmitry P. Zegzhda, Maxim O. Kalinin (Russia)
12:40-12:50 Developing an Insider Threat Model Using Functional Decomposition
Jonathan W. Butts, Robert F. Mills, Rusty O. Baldwin (USA)
13:00-14:20 Lunch
Session 4. Security policy and Operating system security
Chairman: N.Dulay
14:20-14:45 Policy-driven Routing Management using CIM
Felix J. Garcia Clemente, Jesus D. Jimenez Re, Gregorio Martinez Perez, Antonio F. Gomez Skarmeta (Spain)
14:45-15:10 Secure Hybrid Operating System "Linux over Fenix"
Dmitry P. Zegzhda, Alex M. Vovk (Russia)
15:10-15:20 An XML-Seamless Policy Based Management Framework
Felix J. Garcia Clemente, Gregorio Martinez Perez, Antonio F. Gomez Skarmeta (Spain))
15:20-15:30 Security Checker Architecture for Policy-based Security Management
Artem Tishkov, Igor Kotenko, Ekaterina Sidelnikova (Russia)
15:30-15:50 Coffee break
16:00-19:00 City tour
19:30-22:30 Workshop dinner
Tuesday, September 27
Plenary session 5
Chairman: V. Gorodetsky
9:00-9:50 Invited talk
Prevention of Information Attacks by Run-Time Detection of Self-Replication in Computer Codes
Douglas Summerville, Ph.D., Associate Professor, State University of New York at Binghamton, USA
9:50-10:50 Panel discussion. Vulnerability Assessment and Intrusion Detection: State of the Art, Problems and Future Research Directions.
Panelists: N.Dulay, S.-K. Chin, V.Gorodetsky, M.-Y.Huang, S.Jajodia, I.Kotenko, D.Nicol, V.Skormin, D.Summerville, P. Zegzhda
10:50-11:10 Coffee beak
Session 5. Intrusion detection
Chairman: I. Kotenko
11:10-11:35 Hybrid Intrusion Detection Model Based on Ordered Sequences
Abdulrahman Alharby, Hideki Imai (Japan)
11:35-12:00 Asynchronous Alerts Correlation in Intrusion Detection Systems
Vladimir Gorodetsky, Oleg Karsaev, Vladimir Samoilov, Alexander Ulanov (Russia)
12:00-12:25 Behavior-based model of detection and prevention of intrusions in computer networks
Victor Serdiouk (Russia)
12:25-12:50 A Formal Immune Network and its Implementation for On-Line Intrusion Detection
Alexander O. Tarakanov, Sergei V. Kvachev, Alexander V. Sukhorukov (Russia)
12:50-13:00 Massive Data Mining for Polymorphic Code Detection
Udo Payer, Peter Teufl, Stefan Kraxberger, Mario Lamberger (Austria)
13:00-14:20 Lunch
Session 6. Authentication, Authorization and Access control
Chairman: P. Zegzhda
14:20-14:45 Safety Problems in Access Control with Temporal Constraints
Philippe Balbiani, Fahima Cheikh (France)
14:45-15:10 A Modal Logic for Role-Based Access Control
R Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Chin (USA)
15:10-15:35 Unique User-generated Digital Pseudonyms
Peter Schartner, Martin Schaffer (Austria)
15:35-15:45 An Efficient Access Control Model utilizing the Attribute Certificate Structuring
Soomi Yang (Korea)
15:45-15:55 Secure Protected Password Change Scheme
Eun-Jun Yoon, Eun-Kyung Ryu, Kee-Young Yoo (Korea)
15:55-16:05 Foundation for a Time Interval Access Control Model
Francis Afinidad, Timothy Levin, Cynthia Irvine, Thuy Nguyen (USA)
16:05-16:15 Key Escrow with Tree-based Access Structure
Martin Schaffer, Peter Schartner (Austria)
16:15-16:25 Encoding Private Key in Fingerprints
Erno Jeges, Zoltan Hornak, Csaba Kormoczi (Hungary)
16:25-16:45 Coffee break
16:45-17:15 Closing session


3. Workshop Proceedings

Each paper submitted to the consideration was reviewed at least by three reviewers. The Workshop Proceedings will be published by Springer Verlag in its series "Lecture Notes in Computer Science", volume 3685, which will be available for the participants on-site within the Workshop dates.

4. Conference Languages

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

5. Workshop Website

All materials concerning MMM-ACNS-05 Workshop are available at the regularly updated web site http://space.iias.spb.su/mmm-acns05/

6. Chairmen, Workshop Committees

General Chairmen
  Professor Rafael M.Yusupov, the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS)
Phone: 7-(812)-328-33-11
Fax: 7-(812)-328-44-50
E-mail: spiiran@mail.iias.spb.su

Mr. Igor G. Plonisch, Chief of the Strategic Planning and Business Operations Division of the Information Directorate of the Air Force Research Laboratory (AFRL)
E-mail: Igor.Plonisch@rl.af.mil

Local 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 of the Russian Academy of Sciences (SPIIRAS)

1. I.Podnozova, (SPIIRAS, St. Petersburg)
2. A.Tkatch (SPIIRAS, St. Petersburg, Vice Chairman)
3. D.Bakuradze (SPIIRAS, St. Petersburg)
4. O.Karsaev (SPIIRAS, St. Petersburg)
5. V.Konushy (SPIIRAS, St. Petersburg)
6. A.Malyshev (SPIIRAS, St. Petersburg)
7. E.Man'kov (SPIIRAS, St. Petersburg)
8. A.Nikolaeva (SPIIRAS, St. Petersburg)
9. V.Samoilov (SPIIRAS, St. Petersburg)
10. S.Serebrykov (SPIIRAS, St. Petersburg)
11. M.Stepashkin (SPIIRAS, St. Petersburg)
12. V.Tikhomirov (SPIIRAS, St. Petersburg)
13. A.Tishkov (SPIIRAS, St. Petersburg)
14. A.Ulanov (SPIIRAS, St. Petersburg)

Program Committee
Chairmen:
  Vladimir Gorodetsky (SPIIRAS, Russia)
  Igor Kotenko (SPIIRAS, Russia)
  Victor Skormin (Binghamton University, USA)

Members:
  Kurt Bauknecht (University of Zurich, Switzerland)
  David Bonyuet (Delta Search Labs, USA)
  Shiu-Kai Chin (Syracuse University, USA)
  Marc Dacier (Eurecom, France)
  Dipankar Dasgupta (University of Memphis, USA)
  Dimitris Gritzalis (Athens University of Economics and Business, Greece)
  Alexander Grusho (Russian State University for Humanity, Russia)
  Ming-Yuh Huang (The Boeing Company, USA)
  Sushil Jajodia (George Mason University, USA)
  Victor Korneev (Research Institute "Kvant", Russia)
  Klaus-Peter Kossakowski (Presecure Consulting GmbH, Germany)
  Antonio Lioy (Politecnico di Torino, Italy)
  Fabio Martinelli (CNR/IIT, Italy)
  Fabio Massacci (University of Trento, Italy)
  Catherine Meadows (Naval Research Laboratory, USA)
  Nasir Memon (Polytechnic University Brooklyn, USA)
  Bret Michael (Naval Postgraduate School, USA)
  Ann Miller (University of Missouri - Rolla, USA
  Nikolay Moldovyan (Specialized Center of Program Systems "SPECTR", Russia)
  Andrei Sabelfeld (Chalmers University of Technology, Sweden)
  Ravi Sandhu (George Mason University and NSD Security, USA)
  Antonio Gomez Skarmeta (University of Murcia, Spain)
  Anatol Slissenko (University Paris-12, France; SPIIRAS, Russia)
  Michael Smirnov (Fraunhofer-Gesellschaft Institute FOKUS, Germany)
  Douglas Summerville (Binghamton University, USA)
  Shambhu Upadhyaya (University at Buffalo, USA)
  Alfonso Valdes (SRI International, USA)
  Vijay Varadharajaran (Macquarie University, Australia)
  Valery Vasenin (Moscow State University, Russia)
  Peter Zegzhda (St. Petersburg Polytechnical University, Russia)

7. Workshop Venue, Accommodation, Cultural Program

MMM-ACNS-05 Workshop will take place in the historical building of "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.

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

All participants are expected to arrive to St. Petersburg directly. Workshop organizers intend to arrange for transportation upon arrival and departure as well as from the hotels to the workshop venue and back.

The following assistance in housing could be provided by local organizers. We have engaged a Destination Management Company "Monomax" to assist participants in housing and cultural program. It is possible to make reservations at reasonable price in hotels in St. Petersburg downtown area from $100 per night (single room), and from $110 per night (double room). Also reservations in better and more expensive hotels at $120 - $400 per night can be offered (hotels like Astoria, Europe, and Radisson SAS).

8. Registration

Please fill in the online registration form.

ONLINE REGISTRATION INSTRUCTIONS: PLEASE READ CAREFULLY BEFORE PROCEEDING.

The online registration system allows you to register for the MMM-ACNS-05 Workshop, make hotel reservations and book transportation and excursions. While registering, please note that it is optional to check the boxes for transfer, cultural program, and hotel reservation. Please do not check the boxes if you are planning to proceed with all services and hotel procedures later. Later you can always come back to the registration form and fill in the necessary sections.

After you proceed the on-line registration, you will get the login and password of your personal registration, which upon your request you will be able to receive on your e-mail. With these keys you will be able to return to your personal registration to change and add your data.

Although on-line registration is desirable you may make a request for a registration form by e-mail Anna.Danilova@monomax.org in case you have problems with registering on-line.

The moment of registration is supposed to be the date of registration fee payment. In order to receive a confirmation of registration by e-mail, please, make sure to indicate your e-mail address on the registration form. Confirmation will be sent upon receipt of payment.

On filling-in all the data during the on-line registration, you will proceed with the payments.

Registration fee information

The following fees apply for attending the Conference:

  Early registration
(Up to August 15, 2005)
Late registration
(On and after August 16, 2005 up to September 23, 2005)
On-site registration
(On and after September 24, 2005)
Participants 12500 14000 14500
Reduced fee (for students only) 6250 7000 7300
Accompanying persons 3700 4200 4500
For authors of the accepted papers: Payment for 2 extra pages if any (before the deadline for the authors) 1650    

Registration fee covers: three days of the conference, including coffee-breaks, lunches, reception, Workshop dinner, transportation from airport to the hotel on arrival, participant's kit, visa support, 1 sight-seeing tour, 1 copy of the Proceedings.

Reduced fee: three days of the conference, including coffee-breaks, 3 lunches, reception, Workshop dinner, transportation from airport to the hotel on arrival, participant's kit, visa support, 1 sight-seeing tour, 1 copy of the Proceedings.

A document justifying the student status must be submitted to registration time via fax or e-mailed (scanned copy).

Registration fee for accompanying person(s) covers coffee-breaks, 3 lunches, reception, Workshop dinner, transportation from airport to the hotel on arrival, 1 sight-seeing tour, visa support.

The date of registration is supposed to be the date of registration fee payment.

Payment Information

The amounts of Conference registration and other fees are defined in Russian Rubles. The amount to be paid in other currencies must be counted according the current rate. (The official rate of Russian Central Bank is available at http://www.cbr.ru/eng/currency_base/daily.asp, to convert RUR into other currencies you may visit http://xe.com/ucc)

Admission to the Conference is only granted if Monomax Ltd. has received the MMM-ACNS-05 registration fee. Participants who have made late payments should bring a copy of their payment draft with them to the MMM-ACNS-05 registration desk.

After filling in all details in the on-line registration fields, you will obtain according to your choice the *.doc file either for credit card payment, or for bank transfer payment:
  1. Credit card (VISA / Mastercard / AmEx) may be used for all charges

    To make payment with your credit card, please sign the Agreement of Payment Form (which will be created automatically after proceeding the on-line registration!) and fax it back to +7 812 335 99 58 or +7 812 324 7322. Please make sure to transmit your credit card information to the above secure fax number.

    Agreement of Payment Form can be also received from Monomax Ltd. upon a request by e-mail: Anna.Danilova@monomax.org.

    Your credit card will be charged by Monomax for the amount stated. Receipt confirming the payment will be sent to you from Monomax by fax.

    We regret that we are unable to accept private checks, company checks or Eurocheques.

  2. Bank transfer to NORDEA BANK (Finland)

    If you prefer to pay by bank transfer, use this option in the payment section. The invoice will be created automatically in the process of on-line registration if the form of payment will be chosen "bank transfer".

    If you have problems with on-line registration you may ask for invoice sending the request by e-mail: Anna.Danilova@monomax.org

  3. On-line payment of MMM-ACNS-05 Workshop registration fees.

    Monomax uses Assist as its secure online credit card payment system. Assist is secured by SSL 3.0 technology, making your purchase safe online. After you choose payment with credit card option simply follow the further steps which will appear on https://secure.assist.ru/ web server: fill in the necessary personal and billing information, and Assist will process your Monomax Ltd. payment. ONLY Visa and EuroCard/MasterCard are accepted!

    Money refund to the card holder is carried out according to the credit card payment system terms and conditions. In this case all banking fees are to paid by the card holder. For more information please contact Monomax Ltd. managers, Anna.Danilova@monomax.org. The manager will instruct you to complete this procedure.

Deadlines and Cancellation policy

  • Notification of cancellation of registration must be sent in Monomax Ltd. office by e-mail or by fax
  • For cancellation received up to and including August 31, 2005, 80% of registration fee will be refunded
  • For cancellation received on and after September 1, 2005, no refund will be given
  • All refunds will be proceeded after the event
Registration on-site

The registration desk will be open on:
September, 24 since 15:00 till 20:00
September, 25 - 26 since 8:30 till 13:00

Venue address: 191186, Russian Federation, Saint-Petersburg,
Grand Duke Vladimir's Palace, Palace Emb., 26

9. Visa Issues

To come to Russia all foreign participants will need an entering visa. As a host institution SPIIRAS will handle this issue for the meeting participants through a formal invitation. To arrange for such an invitation we shall need the following details for each individual: first name, middle name, surname, date of birth, place of birth (country, city, region, etc.), citizenship, place of permanent residency in the home country (country, state/region, city, etc), passport No, issuance and expiration dates (as appear in a valid passport), full name of the employing company/university; full business address of the employing company; official position in the company; location of the Russian Embassy/Russian Consulate General where you plan to apply for a Russian visa; desirable date of your entry to Russia. In addition, each individual has to fax copy of the first page of his/her passport to +7(812)328-06-85 or e-mail the page image at: ipp@iias.spb.su.

Destination Management Company "Monomax" will handle the visas arrangements for accompanying persons.

10. Contact us

  Program Committee Co-Chairman
Professor Vladimir Gorodetsky
Phone: +7(812)-323-35-70 Fax: +7(812)-328-06-85
E-mail: mmmacns05@iias.spb.su
gor@mail.iias.spb.su
  Program Committee Co-Chairman
Professor Igor Kotenko
Phone: +7(812)-323-35-70 Fax: +7(812)-328-06-85
E-mail: mmmacns05@iias.spb.su
ivkote@iias.spb.su

Copyright ©2004 Intelligent Systems Laboratory, SPIIRAS, All rights reserved.