Program

Please visit the AINA 2007 homepage for AINA general conference events and schedule. A preliminary program of AINA-07 is available here.

May 22nd, Tuesday

Session 1 Security in Ubiquitous and Embedded Environments, 13:20:00-15:00:00
Session Chair: Xiaolin (Andy) Li

1. mCoupons: An Application for Near Field Communication (NFC),
   Sandra Dominikus, Manfred Aigner
2. A Distributed Efficient Architecture for Wireless Sensor Networks,
   Chuan Lin, Yan-Xiang He, Naixue Xiong, Laurence T. Yang
3. Functional Safety Problems in the Ubiquitous Environment,
   Lei Jing, Zixue Cheng
4. A verifiable lightweight escape analysis supporting creational design patterns for small embedded systems,
   Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl

Coffee/Tea Break, 15:00:00-15:20:00

Session 2 Authentication, Authorization, and Access Control, 15:20:00-17:00:00
Session Chair: Zixue Cheng

1. Password-Based Access Control Scheme with Remote User Authentication Using Smart Cards,
   Chen Yang, Wenping Ma, Benxiong Huang, Xinmei Wang
2. Flexible and Manageable Delegation of Authority in RBAC,
   Tuan-Anh Nguyen, Linying Su, George Inman, David Chadwick
3. The Dual Ownership Model: Using Organizational Relationships for Access Control in Safety Supply Chains,
   Alexander Ilic, Florian Michahelles, Elgar Fleisch
4. S3PAS: A Scalable Shoulder-Surfing Resistant Textual-Graphical Password Authentication System,
   Huanyu Zhao, Xiaolin Li
5. Graph Matching Based Authorization model for Efficient Secure XML Querying,
   Seunghan Chang, Artem Chebotko, Shiyong Lu, Farshad Fotouhi

Casual Reception, 18:00:00-18:30:00

Banquet, 18:30:00-24:00:00

May 23rd, Wednesday

Keynote, 08:00:00-09:00:00

Session 3 Trusted and Dependable Computing, 09:10:00-10:25:00
Session Chair: Pierpaolo Dondio

1. Certificate Chain Discovery in Web of Trust for Ad Hoc Networks,
   Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki
2. Mobile Agents and the Deus Ex Machina: Protecting Agents using Trusted Computing.,
   Shane Balfe, Eimear Gallery
3. Presumptive Selection of Trust Evidences: a non invasive, Application-Contained Solution,
   Pierpaolo Dondio, Stephen Barrett
4. Integrating Fault Recovery and Quality of Security in Real-time Systems,
   Kiranmai Bellam, Xiao Qin

Coffee/Tea Break, 10:25:00-10:45:00

Session 4 Grid, Workflow, and Web Services, 10:45:00-12:00:00
Session Chair: Zijiang Yang

1. Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows,
   Zijiang Yang, Shiyong Lu, Ping Yang
2. Pattern Templates for Automating Business Choreography on Web Services,
   Incheon Paik, Hiroto Suzuki
3. Advanced OSGi Security Layer,
   Chi-Chih Huang, Pang-Chieh Wang, Ting-Wei Hou
4. QoS-LI: QoS Loss Inference in Disadvantaged Networks,
   Vidyaraman Sankaranarayanan, Shambhu Upadhyaya, Kevin Kwiat

Lunch, 12:00:00-13:20:00

Session 5 Intelligence and Data Mining, 13:20:00-15:00:00
Session Chair: Qiangfu Zhao

1. U&I Aware: A Framework Using Ubiquitous Data Mining and Collision Detection to Increase Awareness for Intersection Users,
   Flora Dilys Salim, Seng Wai Loke, Andry Rakotonirainy, Shonali Krishnaswamy
2. Interaction Analysis of Heterogeneous Monitoring Data for Autonomic Problem Determination,
   Kevin Quan, Mohammad Munawar, Paul Ward
3. Integration of Data Compression and Cryptography: Another Way to Increase the Information Security,
   Chuanfeng Lv, Qiangfu Zhao

Coffee/Tea Break, 15:00:00-15:20:00

Session 6 Autonomic and Agent Systems, 15:20:00-17:00:00
Session Chair: Benxiong Huang

1. Determining Configuration Probabilities of Safety-Critical Adaptive Systems,
   Rasmus Adler, Marc Förster, Mario Trapp
2. A Utility-based Adaptivity Model for Mobile Applications,
   Mourad Alia, Nearchos Paspallis, Viktor S Wold Eide, Frank Eliassen, Svein Olav Hallsteinsen, George A. Papadopoulos
3. AEGIS: A Proactive Methodology to Shield Against Zero-day Exploits,
   Madhusudhanan Chandrasekaran, Mukarram Baig, Shambhu Upadhyaya