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:
- 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.
- 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
- 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

|