 |
 |
MMM-ACNS-07 International Conference Program
Microsoft Word version of this document
PDF version| September 12, Wednesday | |
| 16:00-19:00 | Registration (in venue) |
| September 13, Thursday | |
| 8:30-19:00 | Registration |
| 9:10-9:30 | Opening Session |
| 9:30-10:20 | Invited Talk (Academy track) Chairman: Vladimir Gorodetsky (Russia) Paulo Verissimo (University of Lisboa, Portugal). Assumptions: the Trojan Horses of secure protocols. |
| 10:20-10:45 | Coffee break |
| 10:45-11:25 | Invited talk (Industry track) Chairman: Igor Kotenko (Russia) Jean-Daniel Aussel (Gemalto, France) Smart Cards and Digital Security. |
| 11:25-13:05 | Session 1.1. Authentication, Authorization and Access control Chairman: Paulo Verissimo (Portugal) |
| 11:25-11:50 | Access Control and Declassification. Gerard Boudol and Marija Kolundzija (France). |
| 11:50-12:15 | Reasoning About Delegation and Account Access in Retail Payment Systems. Shiu-Kai Chin and Susan Older (USA). |
| 12:15-12:40 | Performance Evaluation of Keyless Authentication Based on Noisy Channel. Valery Korzhik, Viktor Yakovlev, Guillermo Morales-Luna, and Roman Chesnokov (Russia, Mexico). |
| 12:40-13:05 | Avoiding Key Redistribution in Key Assignment Schemes. Harry Rowe and Jason Crampton (UK). |
| 13:15-14:45 | Lunch |
| 14:45-15:30 | Session 1.2. Authentication, Authorization and Access control Chairman: Shiu-Kai Chin (USA) |
| 14:45-15:00 | Fern: An updatable authenticated dictionary suitable for distributed caching. E. Freudenthal, D. Herrera, S. Gutstein, R. Spring, and L. Longpre (USA). |
| 15:00-15:15 | Class of Provably Secure Information Authentication Systems. Nikolay Moldovyan and Alexander Moldovyan (Russia). |
| 15:15-15:30 | A New Modeling Paradigm for Dynamic Authorization in Multi-Domain Systems. Manoj Sastry, Ram Krishnan, and Ravi Sandhu (USA). |
| 15:30-16:45 | Session 2. Language-based Security, Trust Management and Covert Channels Chairman: Andrei Sabelfeld (Sweden) |
| 15:30-15:55 | Synthesis of Non-Interferent Distributed Systems. Franck Cassez, John Mullins, and Olivier H. Roux (France). |
| 15:55-16:20 | Privacy-Preserving Credential Verification for Non-monotonic Trust Management Systems. Changyu Dong, Giovanni Russello, and Naranker Dulay (UK). |
| 16:20-16:45 | Covert channel invisibility theorem. Alexander Grusho, Nick Grebnev, and Elena Timonina (Russia). |
| 16:50-17:15 | Coffee and Networking Break |
| 17:15-17:45 | Session 3. Watermarking Chairman: Christian Collberg (USA) |
| 17:15-17:30 | A Spatial Watermarking Algorithm for Video Images. Dumitru D. Burdescu, Liana Stanescu, Anca Ion, and Cristian M. Mihaescu (Romania). |
| 17:30-17:45 | Watermarking software to signal copy protection. Erno Jeges, Zoltan Hornak, Gergely Eberhardt, and Zoltan Nagy (Hungary). |
| 17:50-18:50 | Venue tour |
| 19:00-21:00 | Reception |
| September 14, Friday | |
| 9:00-19:00 | Registration |
| 9:30-10:20 | Invited Talk (Academy track) Chairman: Victor Skormin (USA) Angelos D. Keromytis (Columbia University, USA) Characterizing Software Self-Healing Systems. |
| 10:20-10:45 | Coffee and Networking Break |
| 10:45-11:25 | Invited talk (Industry track) Chairman: Jean-Daniel Aussel (France) Mauricio Sanchez (ProCurve Networking, HP, USA) Virus Throttle as basis for ProActive Defense. |
| 11:25-13:05 | Session 4.1. Intrusion detection and prevention Chairman: Angelos D. Keromytis (USA) |
| 11:25-11:50 | Multi-Agent Peer-To-Peer Intrusion Detection. V.Gorodetsky, O.Karsaev, V.Samoylov, and S.Serebryakov (Russia). |
| 11:50-12:15 | An Interval Temporal Logic-Based Matching Framework for Finding Occurrences of Multi-event Attack Signatures. Elzbieta Nowicka and Marcin Zawada (Poland). |
| 12:15-12:40 | Towards Fully Automatic Defense Mechanism for a Computer Network Emulating Active Immune Response. V. Skormin, O. Shiryayeva, A. Tokhtabayev, and J. Moronski (USA, Kazakhstan). |
| 12:40-13:05 | A Novel Intrusion Detection System for a Local Computer Network. A. Tokhtabayev, A. Altaibek, V. Skormin, and U. Tukeyev (Kazakhstan, USA). |
| 13:15-14:45 | Lunch |
| 14:45-16:45 | Session 5. Security Verification and Evaluation Chairman: Wojciech Molisz (Polland) |
| 14:45-15:10 | Policy-based Proactive Monitoring of Security Policy Performance. Vitaly Bogdanov and Igor Kotenko (Russia). |
| 15:10-15:35 | Comparing Electronic Battlefields: Using Mean Time-to-Compromise as a Comparative Security Metric. David J. Leversage and Eric J. Byres (Canada). |
| 15:35-16:00 | Abstraction Based Verification of a Parameterised Policy Controlled System. Peter Ochsenschlager and Roland Rieke (Germany). |
| 16:00-16:15 | Algebraic Models to Detect and Solve Policy Conflicts. Cataldo Basile, Alberto Cappadonia, and Antonio Lioy (Italy). |
| 16:15-16:30 | Event Calculus based Checking of Filtering Policies. Artem Tishkov, Ekaterina Sidelnikova, and Igor Kotenko (Russia). |
| 16:30-16:45 | A New Approach to Security Evaluation of Operating Systems. Peter D. Zegzhda, Dmitry P. Zegzhda, and Maxim O. Kalinin (Russia). |
| 16:50-17:15 | Coffee and Networking Break |
| 17:15-19:45 | City tour |
| 20:00-23:00 | Workshop dinner |
| September 15, Saturday | |
| 9:00-12:00 | Registration |
| 9:30-10:20 | Invited Talk (Academy track) Chairman: Igor Kotenko (Russia) Christian Collberg (University of Arizona, USA) Surreptitious Software: Models from Biology and History. |
| 10:20-10:45 | Coffee and Networking Break |
| 10:45-11:25 | Invited talk (Industry track) Chairman: Mauricio Sanchez (USA) Victor Serdiouk (Joint Stock Company "DialogueScience", Russia) Technologies for protection against insider attacks on computer systems. |
| 11:25-13:10 | Session 6. Network Survivability and Privacy Chairman: Alexander Grusho (Russia) |
| 11:25-11:50 | Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics. Luc Longpre, Gang Xiang, Vladik Kreinovich, and Eric Freudenthal (USA). |
| 11:50-12:15 | Fast Service Restoration under Shared Protection at Lightpath Level in Survivable WDM Mesh Grooming Networks. Jacek Rak and Wojciech Molisz (Polland). |
| 12:15-12:40 | Anycast Communication - A New Approach to Survivability of Connection-Oriented Networks. Krzysztof Walkowiak (Polland). |
| 12:40-12:55 | Privacy Preserving Context Transfer in All-IP Networks. Giorgos Karopoulos, Georgios Kambourakis, and Stefanos Gritzalis (Greece). |
| 12:55-13:10 | Environment-Aware Trusted Data Delivery in Multipath Wireless Protocols. Mohit Virendra, Arunn Krishnamurthy, Krishnan Narayanan, Shambhu Upadhyaya, and Kevin Kwiat (USA). |
| 13:15-14:45 | Lunch |
| 14:45-15:40 | Session 4.2. Intrusion detection and prevention Chairman: Shambhu Upadhyaya (USA) |
| 14:45-15:10 | Mathematical Models of Intrusion Detection by an Intelligent Immunochip. Alexander O. Tarakanov (Russia). |
| 15:10-15:25 | Investigation of the Effectiveness of Alert Correlation Methods in a Policy-based Security Framework. Bartlomiej Balcerek, Piotr Dragan, Bogdan Trawinski, and Marcin Wojtkiewicz (Poland). |
| 15:25-15:40 | Host-based Intrusion Detection System: model and design features. Pyotr Zegzhda and Semyon Kort (Russia). |
| 15:45-17:15 | Panel Discussion Chairman: Victor Skormin (USA) New Trends and Challenges in Computer Network Security Panelists: Jean-Daniel Aussel, Christian Collberg, Vladimir Gorodetsky, Angelos D. Keromytis, Igor Kotenko, Mauricio Sanchez, Victor Serdiouk |
| 17:15-17:35 | Closing Session |
| 17:35-18:15 | Coffee and Networking Break, Farewell party |
Copyright ©2006-2007 Computer Security Research Group, Saint-Petersburg Institute for Informatics and Automation of RAS, All rights reserved.
In case of any problems, please contact the webmaster.
Powered by OpenConf.