1. Home
  2. Proceedings
  3. ARES
  4. ARES 2009
Default Cover Image

2009 International Conference on Availability, Reliability and Security

Mar. 16 2009 to Mar. 19 2009

Fukuoka Institute of Technology, Fukuoka, Japan

ISBN: 978-0-7695-3564-7

Table of Contents

Papers
DAWAM Organization Co-chairsFreely available from IEEE.pp. xxv
Papers
Conference OfficersFreely available from IEEE.pp. xx
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-xvii
Papers
Program CommitteeFreely available from IEEE.pp. xxi-xxiii
Papers
DAWAM ReviewersFreely available from IEEE.pp. xxvii
FARES ReviewersFreely available from IEEE.pp. xxxiii-xxxv
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
GloSec ReviewersFreely available from IEEE.pp. xxxix
Papers
Message from General Co-chairsFreely available from IEEE.pp. xviii
Papers
Message from ARES Workshops' Co-chairsFreely available from IEEE.pp. xix
Papers
IWSS ReviewersFreely available from IEEE.pp. xliii
Papers
OSA Organization CommitteeFreely available from IEEE.pp. xlv
Papers
Message from DAWAM Workshop Co-chairsFreely available from IEEE.pp. xxiv
Papers
OSA Program CommitteeFreely available from IEEE.pp. xlvi
Papers
DAWAM Program CommitteeFreely available from IEEE.pp. xxvi
Papers
OSA ReviewersFreely available from IEEE.pp. xlvii
Papers
Message from FARES Workshop Co-chairsFreely available from IEEE.pp. xxviii
Papers
FARES Organization CommitteeFreely available from IEEE.pp. xxix
Papers
RIBC ReviewersFreely available from IEEE.pp. li
Papers
FARES Program CommitteeFreely available from IEEE.pp. xxx-xxxii
Papers
Message from GloSec Workshop ChairFreely available from IEEE.pp. xxxvi
Papers
GloSec Organization CommitteeFreely available from IEEE.pp. xxxvii
Papers
SecSE reviewersFreely available from IEEE.pp. lv
Papers
GloSec Program CommitteeFreely available from IEEE.pp. xxxviii
Papers
Message from IWSS Workshop Co-chairsFreely available from IEEE.pp. xl
Papers
IWSS Organization CommitteeFreely available from IEEE.pp. xli
Papers
SECUSAB reviewersFreely available from IEEE.pp. lvix
Papers
IWSS Program CommitteeFreely available from IEEE.pp. xlii
Papers
Message from OSA Workshop Co-chairsFreely available from IEEE.pp. xliv
Papers
WAIS reviewersFreely available from IEEE.pp. lxiii
Papers
Message from RIBC Workshop Co-chairsFreely available from IEEE.pp. xlviii
Papers
RIBC Organization CommitteeFreely available from IEEE.pp. xlvix
Papers
RIBC Program CommitteeFreely available from IEEE.pp. l
Papers
WSDF reviewersFreely available from IEEE.pp. lxvii
Papers
Message from SecSE Workshop Co-chairsFreely available from IEEE.pp. lii
Papers
SecSE Organization CommitteeFreely available from IEEE.pp. liii
Papers
SecSE Program CommitteeFreely available from IEEE.pp. liv
Papers
Message from SECUSAB Workshop Co-chairsFreely available from IEEE.pp. lvi
Papers
SECUSAB Organization CommitteeFreely available from IEEE.pp. lvii
Papers
SECUSAB Program CommitteeFreely available from IEEE.pp. lviii
Papers
Message from WAIS Workshop Co-chairsFreely available from IEEE.pp. lx
Papers
WAIS Organization CommitteeFreely available from IEEE.pp. lxi
Papers
WAIS Program CommitteeFreely available from IEEE.pp. lxii
Papers
Message from WSDF Workshop Co-chairsFreely available from IEEE.pp. lxiv
Papers
WSDF Organization CommitteeFreely available from IEEE.pp. lxv
Papers
WSDF Program CommitteeFreely available from IEEE.pp. lxvi
Papers
Keynote 1: Pairing Based Cryptography - Theory, Implementations and ApplicationsFreely available from IEEE.pp. lxviii
Papers
Keynote 2: Digital Identity Protection - Concepts and IssuesFreely available from IEEE.pp. lxix-lxxviii
Papers
Keynote 3: Topological Analysis of Network Attack VulnerabilityFreely available from IEEE.pp. lxxix
Papers
Invited Talk: Integrative Security Approach as a Key Success Factor of DependabilityFreely available from IEEE.pp. lxxx
Papers
A Pluggable Domain Management Approach for Building Practical Distributed CoalitionsFull-text access may be available. Sign in or learn about subscription options.pp. 1-8
by Yasuharu Katsuno, Yuji Watanabe, Michiharu Kudo, Eiji Okamoto
Papers
Retaining Data Control to the Client in Infrastructure CloudsFull-text access may be available. Sign in or learn about subscription options.pp. 9-16
by Marco Descher, Philip Masser, Thomas Feilhauer, A. Min Tjoa, David Huemer
Papers
Workflows in Dynamic and Restricted DelegationFull-text access may be available. Sign in or learn about subscription options.pp. 17-24
by Mehran Ahsant, Jim Basney
Papers
The Accountability Problem of Flooding Attacks in Service-Oriented ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 25-32
by Meiko Jensen, Jörg Schwenk
Papers
Web Service Trust: Towards a Dynamic Assessment FrameworkFull-text access may be available. Sign in or learn about subscription options.pp. 33-40
by George Spanoudakis, Stephane LoPresti
Papers
Security Requirements Specification in Service-Oriented Business Process ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 41-48
by Michael Menzel, Ivonne Thomas, Christoph Meinel
Papers
Quantitative Analysis of Secure Information Flow via Probabilistic SemanticsFull-text access may be available. Sign in or learn about subscription options.pp. 49-57
by Chunyan Mu, David Clark
Papers
Deploying Security Policy in Intra and Inter Workflow Management SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 58-65
by Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens
Papers
An Empirically Derived Loss Taxonomy Based on Publicly Known Security IncidentsFull-text access may be available. Sign in or learn about subscription options.pp. 66-73
by Frank Innerhofer-Oberperfler, Ruth Breu
Papers
Defeating Dynamic Data Kernel Rootkit Attacks via VMM-Based Guest-Transparent MonitoringFull-text access may be available. Sign in or learn about subscription options.pp. 74-81
by Junghwan Rhee, Ryan Riley, Dongyan Xu, Xuxian Jiang
Papers
Server-Side Prediction of Source IP Addresses Using Density EstimationFull-text access may be available. Sign in or learn about subscription options.pp. 82-89
by Markus Goldstein, Matthias Reif, Armin Stahl, Thomas Breuel
Papers
Detecting Stepping-Stone Connection Using Association Rule MiningFull-text access may be available. Sign in or learn about subscription options.pp. 90-97
by Ying-wei Kuo, Shou-Hsuan Stephen Huang
Papers
Formal Analyses of Usage Control PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 98-105
by Alexander Pretschner, Judith Rüesch, Christian Schaefer, Thomas Walter
Papers
A First Step towards Characterizing Stealthy BotnetsFull-text access may be available. Sign in or learn about subscription options.pp. 106-113
by Justin Leonard, Shouhuai Xu, Ravi Sandhu
Papers
Intrusion Process Modeling for Security QuantificationFull-text access may be available. Sign in or learn about subscription options.pp. 114-121
by Jaafar Almasizadeh, Mohammad Abdollahi Azgomi
Papers
Different Approaches to In-House Identity Management - Justification of an AssumptionFull-text access may be available. Sign in or learn about subscription options.pp. 122-129
by L. Fuchs, C. Broser, G. Pernul
Papers
An LPN-Problem-Based Lightweight Authentication Protocol for Wireless CommunicationsFull-text access may be available. Sign in or learn about subscription options.pp. 130-134
by Ya-Fen Chang, Yen-Cheng Lai
Papers
Revealing the Calling History of SIP VoIP Systems by Timing AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 135-142
by Ge Zhang, Simone Fischer-Huebner, Leonardo A. Martucci, Sven Ehlert
Papers
The Anatomy of Electronic Evidence - Quantitative Analysis of Police E-Crime DataFull-text access may be available. Sign in or learn about subscription options.pp. 143-149
by Benjamin Turnbull, Robert Taylor, Barry Blundell
Papers
A Robust Image Watermarking Using Two Level DCT and Wavelet Packets DenoisingFull-text access may be available. Sign in or learn about subscription options.pp. 150-157
by A.H. Taherinia, M. Jamzad
Papers
On Equilibrium Distribution Properties in Software Reliability ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 158-165
by Xiao Xiao, Tadashi Dohi
Papers
An Analysis of Fault Effects and Propagations in AVR Microcontroller ATmega103(L)Full-text access may be available. Sign in or learn about subscription options.pp. 166-172
by Alireza Rohani, Hamid. R. Zarandi
Papers
Blue Gene/L Log Analysis and Time to Interrupt EstimationFull-text access may be available. Sign in or learn about subscription options.pp. 173-180
by Narate Taerat, Nichamon Naksinehaboon, Clayton Chandler, James Elliott, Chokchai Leangsuksun, George Ostrouchov, Stephen L. Scott, Christian Engelmann
Papers
A New Approach for Implementing the MPL Method toward Higher SPA ResistanceFull-text access may be available. Sign in or learn about subscription options.pp. 181-186
by Masami Izumi, Kazuo Sakiyama, Kazuo Ohta
Papers
On Privacy Preserving Convex HullFull-text access may be available. Sign in or learn about subscription options.pp. 187-192
by Sandeep Hans, Sarat C. Addepalli, Anuj Gupta, Kannan Srinathan
Papers
Routing Protocol Security Using Symmetric Key Based TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 193-200
by Bezawada Bruhadeshwar, Kishore Kothapalli, M. Poornima, M. Divya
Papers
Prioritisation and Selection of Software Security ActivitiesFull-text access may be available. Sign in or learn about subscription options.pp. 201-207
by David Byers, Nahid Shahmehri
Papers
BRICK: A Binary Tool for Run-Time Detecting and Locating Integer-Based VulnerabilityFull-text access may be available. Sign in or learn about subscription options.pp. 208-215
by Ping Chen, Yi Wang, Zhi Xin, Bing Mao, Li Xie
Papers
Enhancing Automated Detection of Vulnerabilities in Java ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 216-223
by Pierre Parrend
Papers
Automated Support for Security Requirements Engineering in Software Product Line Domain EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 224-231
by Daniel Mellado, Jesus Rodríguez, Eduardo Fernández-Medina, Mario Piattini
Papers
Identifying and Resolving Least Privilege Violations in Software ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 232-239
by Koen Buyens, Bart De Win, Wouter Joosen
Papers
A Test Framework for Assessing Effectiveness of the Data Privacy Policy's Implementation into Relational DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 240-247
by Gerardo Canfora, Corrado Aaron Visaggio, Vito Paradiso
Papers
Improving Reliability for Multi-home Inbound Traffic: MHLB/I Packet-Level Inter-domain Load-BalancingFull-text access may be available. Sign in or learn about subscription options.pp. 248-256
by Hiroshi Fujinoki
Papers
Proactive Resource Management for Failure Resilient High Performance Computing ClustersFull-text access may be available. Sign in or learn about subscription options.pp. 257-264
by Song Fu, Cheng-Zhong Xu
Papers
A Perceptron Neural Network for Asymmetric Comparison-Based System-Level Fault DiagnosisFull-text access may be available. Sign in or learn about subscription options.pp. 265-272
by Mourad Elhadef
Papers
Perfect Failure Detection in the Partitioned Synchronous Distributed System ModelFull-text access may be available. Sign in or learn about subscription options.pp. 273-280
by Raimundo José de Araújo Macêdo, Sérgio Gorender
Papers
Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 281-288
by Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula
Papers
Measuring Voter-Controlled PrivacyFull-text access may be available. Sign in or learn about subscription options.pp. 289-298
by Hugo Jonker, Sjouke Mauw, Jun Pang
Papers
Generating User-Understandable Privacy PreferencesFull-text access may be available. Sign in or learn about subscription options.pp. 299-306
by Jan Kolter, Günther Pernul
Papers
An Automatic Privacy Policy Agreement Checker for E-servicesFull-text access may be available. Sign in or learn about subscription options.pp. 307-315
by George O.M. Yee
Papers
A Micro-FT-UART for Safety-Critical SoC-Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 316-321
by Mohammad-Hamed Razmkhah, Seyed Ghassem Miremadi, Alireza Ejlali
Papers
MixVM - An Approach to Service Isolation and Data Protection in Mobile Context-Sensitive ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 322-328
by Thomas Butter, Markus Aleksy
Papers
On the Security of Untrusted MemoryFull-text access may be available. Sign in or learn about subscription options.pp. 329-334
by Jörn-Marc Schmidt, Stefan Tillich
Papers
Detecting Image Tampering Using Feature FusionFull-text access may be available. Sign in or learn about subscription options.pp. 335-340
by Pin Zhang, Xiangwei Kong
Papers
SecMiLiA: An Approach in the Agent ProtectionFull-text access may be available. Sign in or learn about subscription options.pp. 341-348
by Antonio Muñoz, Antonio Maña, Daniel Serrano
Papers
Traffic Controller: A Practical Approach to Block Network Covert Timing ChannelFull-text access may be available. Sign in or learn about subscription options.pp. 349-354
by Yi Wang, Ping Chen, Yi Ge, Bing Mao, Li Xie
Papers
Capturing Information Flow with Concatenated Dynamic Taint AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 355-362
by Hyung Chan Kim, Angelos D. Keromytis, Michael Covington, Ravi Sahita
Papers
Risk-Driven Architectural DecompositionFull-text access may be available. Sign in or learn about subscription options.pp. 363-368
by Thomas Heyman, Riccardo Scandariato, Wouter Joosen
Showing 100 out of 212
Load More
Load All